全2件のBernhard Steffen-Tiziana Margariaのリリース（Paperback Book）
カテゴリ
その他
カスタマーサービス
JPY
iMusicに在庫あり
在庫なし商品を表示
![Cover for Bernhard Steffen-Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III - Lecture Notes in Computer Science (Paperback Book) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/794/9783031753794.jpg?bernhard-steffen-tiziana-margaria-2024-leveraging-applications-of-formal-methods-verification-and-validation-specification-and-verification-12th-international-symposium-isola-2024-crete-greece-october-27-31-2024-proceedings-part-iii-lecture-notes-in-comput&class=scaled&v=1733843469)
![Cover for Bernhard Steffen-Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/489/9783031198489.jpg?bernhard-steffen-tiziana-margaria-2022-leveraging-applications-of-formal-methods-verification-and-validation-verification-principles-11th-international-symposium-isola-2022-rhodes-greece-october-22-30-2022-proceedings-part-i-lecture-notes-in-computer-scien&class=scaled&v=1750046107)