東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Tests and proofs = 18th Internationa...

TAP (Conference) (2024 :)

Linked to FindBook

Google Book

Amazon

博客來

Tests and proofs = 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Tests and proofs/ edited by Marieke Huisman, Falk Howar.
Reminder of title:	18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
remainder title:	TAP 2024
other author:	Huisman, Marieke.
corporate name:	TAP (Conference)
Published:	Cham :Springer Nature Switzerland : : 2025.,
Description:	xiv, 177 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Software engineering - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-031-72044-4
ISBN:	9783031720444

Tests and proofs = 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
Tests and proofs18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /[electronic resource] :TAP 2024edited by Marieke Huisman, Falk Howar. - Cham :Springer Nature Switzerland :2025. - xiv, 177 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,151531611-3349 ;. - Lecture notes in computer science ;15153..

This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software. The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.

ISBN: 9783031720444

Standard No.: 10.1007/978-3-031-72044-4doiSubjects--Topical Terms:

696781
Software engineering
--Congresses.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Tests and proofs = 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
LDR:01982nmm a2200337 a 4500 001 2407803
003 DE-He213
005 20240910130236.0
006 m d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031720444 $q (electronic bk.)
020 $a 9783031720437 $q (paper)
024 7 $a 10.1007/978-3-031-72044-4 $2 doi
035 $a 978-3-031-72044-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .T172 2024
111 2 $a TAP (Conference) $n (18th : $d 2024 : $c Milan, Italy) $3 3779863
245 1 0 $a Tests and proofs $h [electronic resource] : $b 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings / $c edited by Marieke Huisman, Falk Howar.
246 3 $a TAP 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xiv, 177 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 15153
520 $a This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software. The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.
650 0 $a Software engineering $x Congresses. $3 696781
650 0 $a Computer software $x Testing $v Congresses. $3 849414
650 1 4 $a Informal Logic. $3 3663022
650 2 4 $a Models of Computation. $3 3592010
700 1 $a Huisman, Marieke. $3 2194863
700 1 $a Howar, Falk. $3 3779864
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 15153. $3 3779865
856 4 0 $u https://doi.org/10.1007/978-3-031-72044-4
950 $a Computer Science (SpringerNature-11645)