Didier Bert
ZB 2002 : Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson · 2003
פרטי הספר
- שנה
- 2003
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540456483
מקור הנתונים: Wikidata