Verification, Model Checking, and Abstract InterpretationDirk Beyer
Verification, Model Checking, and Abstract Interpretation
Dirk Beyer, Damien Zufferey · 2020
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2020
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 485
- ISBN
- 9783030393212
מקור הנתונים: Wikidata
עוד של Dirk Beyer
Formal Techniques for Distributed SystemsDirk Beyer
Formal Techniques for Distributed Systems
Dirk Beyer · 2013
Markovian Demand Inventory ModelsDirk Beyer
Markovian Demand Inventory Models
Dirk Beyer · 2008
TOOLympics Challenge 2023Dirk Beyer
TOOLympics Challenge 2023
Dirk Beyer · 2024
Fundamental Approaches to Software EngineeringDirk Beyer
Fundamental Approaches to Software Engineering
Dirk Beyer · 2024
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACASDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
Dirk Beyer · 2019
Tests and ProofsDirk Beyer
Tests and Proofs
Dirk Beyer · 2019
Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer · 2018
Theoretische und Methodische Ansatze Zum InnovationsmarketingDirk Beyer
Theoretische und Methodische Ansatze Zum Innovationsmarketing
Dirk Beyer · 2013