國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Tests and proofs/ edited by Marieke Huisman, Falk Howar.
其他題名:	18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
其他題名:	TAP 2024
其他作者:	Howar, Falk.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xiv, 177 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Models of Computation. -
電子資源:	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 ;6140..

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:

1365746
Models of Computation.

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:01982nam a2200337 a 4500 001 1159895
003 DE-He213
005 20240910130236.0
006 m d
007 cr nn 008maaau
008 251029s2025 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 Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 : $c 2025. $b Springer Nature Switzerland : $b Imprint: Springer,
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 2 4 $a Models of Computation. $3 1365746
650 1 4 $a Informal Logic. $3 1417067
650 0 $a Computer software $x Testing $v Congresses. $3 674778 $3 727845
650 0 $a Software engineering $v Congresses. $3 528500
700 1 $a Howar, Falk. $3 1208302
700 1 $a Huisman, Marieke. $3 1108810
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-72044-4
950 $a Computer Science (SpringerNature-11645)