東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Tests and proofs = 18th Internationa...

TAP (Conference) (2024 :)

FindBook

Google Book

Amazon

博客來

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
其他作者:	Huisman, Marieke.
團體作者:	TAP (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xiv, 177 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Software engineering - Congresses. -
電子資源:	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)