Yamine Ait Ameur

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yamine Ait Ameur, Klaus-Dieter Schewe · 2014
פרטי הספר
- שנה
- 2014
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 3
- עמודים
- 336
- ISBN
- 9783662436523
מקור הנתונים: Wikidata

Yamine Ait Ameur, Klaus-Dieter Schewe · 2014
מקור הנתונים: Wikidata