Concise Guide to Software VerificationMarieke Huisman
Concise Guide to Software Verification
Marieke Huisman, Anton Wijs · 2023
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2023
- שפה
- English
- הוצאה
- Springer International Publishing AG
- מהדורות
- 2
- ISBN
- 9783031301667
מקור הנתונים: Wikidata
עוד של Marieke Huisman
Tests and ProofsMarieke Huisman
Tests and Proofs
Marieke Huisman · 2024
Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman
Formal Techniques for Distributed Objects, Components, and Systems
Marieke Huisman · 2023
Formal MethodsMarieke Huisman
Formal Methods
Marieke Huisman · 2021
Fundamental Approaches to Software EngineeringMarieke Huisman
Fundamental Approaches to Software Engineering
Marieke Huisman · 2017
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based SystemsMarieke Huisman
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems
Marieke Huisman · 2009