ModelEd, TestEd, TrustEdJoost-Pieter Katoen
ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink · 2017
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2017
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 403
- ISBN
- 9783319682693
מקור הנתונים: Wikidata
עוד של Joost-Pieter Katoen
CONCUR 2011 – Concurrency TheoryJoost-Pieter Katoen
CONCUR 2011 – Concurrency Theory
Joost-Pieter Katoen · 2011
Formal Methods for Real-Time and Probabilistic SystemsJoost-Pieter Katoen
Formal Methods for Real-Time and Probabilistic Systems
Joost-Pieter Katoen · 1999
Tools and Algorithms for the Construction and Analysis of SystemsJoost-Pieter Katoen
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen · 2003