David N. Jansen

Formal Modeling and Analysis of Timed Systems
David N. Jansen, Pavithra Prabhakar · 2018
פרטי הספר
- שנה
- 2018
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 299
- ISBN
- 9783030001506
מקור הנתונים: Wikidata

David N. Jansen, Pavithra Prabhakar · 2018
מקור הנתונים: Wikidata