國立高雄大學圖資館 |

Language: English

Back

Tests and proofs18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Tests and proofsedited 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:
Published:	Cham :Springer Nature Switzerland :2025.
Description:	xiv, 177 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Software engineering
Online resource:	https://doi.org/10.1007/978-3-031-72044-4
ISBN:	9783031720444$q(electronic bk.)

Tests and proofs18th 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 ;4891..

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$q(electronic bk.)

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

253562
Software engineering

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Tests and proofs18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024 : proceedings /
LDR:01983nmm a2200337 a 4500 001 678537
003 DE-He213
005 20240910130236.0
006 m d
007 cr nn 008maaau
008 251031s2025 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $3 253562
650 0 $a Computer software $x Testing $v Congresses. $3 444627
650 1 4 $a Informal Logic. $3 958127
650 2 4 $a Models of Computation. $3 915069
700 1 $a Huisman, Marieke. $3 747393
700 1 $a Howar, Falk. $3 822013
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-72044-4
950 $a Computer Science (SpringerNature-11645)