Decidability of Parameterized VerificationRoderick Bloem
Decidability of Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov · 2015
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2015
- שפה
- English
- הוצאה
- Morgan & Claypool Publishers
- מהדורות
- 3
- ISBN
- 9781627057431
מקור הנתונים: Wikidata
עוד של Roderick Bloem
Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 ProceedingsRoderick Bloem
Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings
Roderick Bloem · 2013
Software VerificationRoderick Bloem
Software Verification
Roderick Bloem · 2022
Hardware and Software : Verification and TestingRoderick Bloem
Hardware and Software : Verification and Testing
Roderick Bloem · 2016
Trusted SystemsRoderick Bloem
Trusted Systems
Roderick Bloem · 2013