Eugine Asarin
Verification and Synthesis of Hybrid Systems
Eugine Asarin, Thao Dang, Oded Maler · 2006
פרטי הספר
- שנה
- 2006
- שפה
- English
- הוצאה
- Birkhäuser Boston
- מהדורות
- 1
- עמודים
- 300
- ISBN
- 9780817642969
מקור הנתונים: Wikidata
Eugine Asarin, Thao Dang, Oded Maler · 2006
מקור הנתונים: Wikidata