Formal Methods for Real-Time and Probabilistic SystemsJoost-Pieter Katoen
Formal Methods for Real-Time and Probabilistic Systems
Joost-Pieter Katoen · 1999
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1999
- שפה
- English
- סדרה
- Lecture Notes in Computer Science -- 1601,
- הוצאה
- Springer-Verlag Berlin Heidelberg
- מהדורות
- 1
- ISBN
- 9783540487784
מקור הנתונים: Wikidata
עוד של Joost-Pieter Katoen
CONCUR 2011 – Concurrency TheoryJoost-Pieter Katoen
CONCUR 2011 – Concurrency Theory
Joost-Pieter Katoen · 2011
ModelEd, TestEd, TrustEdJoost-Pieter Katoen
ModelEd, TestEd, TrustEd
Joost-Pieter Katoen · 2017
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