Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

出版社: Springer(2023-07-25)

ハードカバー: 257 ページ / 15.6 x 1.8 x 23.6 cm

ISBN-10: 3031301668  ISBN-13: 9783031301667