Heinrich Rust

Operational semantics for timed systems
Heinrich Rust · 2005
פרטי הספר
- שנה
- 2005
- שפה
- English
- סדרה
- Lecture notes in computer science,
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 223
- ISBN
- 9783540255765
מקור הנתונים: Wikidata

Heinrich Rust · 2005
מקור הנתונים: Wikidata