Tests and ProofsDirk Beyer
Tests and Proofs
Dirk Beyer, Chantal Keller · 2019
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2019
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 217
- ISBN
- 9783030311568
מקור הנתונים: 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
Verification, Model Checking, and Abstract InterpretationDirk Beyer
Verification, Model Checking, and Abstract Interpretation
Dirk Beyer · 2020
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
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