OPAC

Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke
(Lecture Notes in Computer Science. ISSN:16113349 ; 13361)

データ種別	電子ブック
版	1st ed. 2022.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2022
大きさ	VIII, 127 p. 28 illus., 10 illus. in color : online resource
著者標目	Kovács, Laura editor Meinke, Karl editor SpringerLink (Online service)

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

一般注記	This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022. The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing HTTP:URL=https://doi.org/10.1007/978-3-031-09827-7
件　名	LCSH:Logic LCSH:Computer science FREE:Formal Logic FREE:Models of Computation
分　類	LCC:BC1-199 DC23:160
書誌ID	EB00001555
ISBN	9783031098277