Étienne André

Formal Modeling and Analysis of Timed Systems
Étienne André, Mariëlle Stoelinga · 2019
פרטי הספר
- שנה
- 2019
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 317
- ISBN
- 9783030296612
מקור הנתונים: Wikidata

Étienne André, Mariëlle Stoelinga · 2019
מקור הנתונים: Wikidata