國立虎尾科技大學 |

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

Record Type:	Language materials, printed : 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:	Workshop on the Preservation of Stability under Discretization
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 ;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:

528500
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: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 0 $a Software engineering $v Congresses. $3 528500
650 0 $a Computer software $x Testing $v Congresses. $3 674778 $3 727845
650 1 4 $a Informal Logic. $3 1417067
650 2 4 $a Models of Computation. $3 1365746
700 1 $a Huisman, Marieke. $3 1108810
700 1 $a Howar, Falk. $3 1208302
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)