OPAC

Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu
(Lecture Notes in Computer Science. ISSN:16113349 ; 14066)

データ種別	電子ブック
版	1st ed. 2023.
出版者	(Cham : Springer Nature Switzerland : Imprint: Springer)
出版年	2023
大きさ	XXII, 187 p. 65 illus., 17 illus. in color : online resource
著者標目	Prevosto, Virgile editor Seceleanu, Cristina editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0003114	Computer Scinece R0 2005-6,2022-3				9783031388286

一般注記	Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement HTTP:URL=https://doi.org/10.1007/978-3-031-38828-6
件　名	LCSH:Reasoning LCSH:Computer science FREE:Informal Logic FREE:Models of Computation
分　類	LCC:BC177 DC23:160
書誌ID	EB00002502
ISBN	9783031388286