Cyrille Artho

Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky · 2015
פרטי הספר
- שנה
- 2015
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 9
- עמודים
- 257
- ISBN
- 9783319175812
מקור הנתונים: Wikidata

Cyrille Artho, Peter Csaba Ölveczky · 2015
מקור הנתונים: Wikidata