Didier Bert
ZB 2003 : Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén · 2003
פרטי הספר
- שנה
- 2003
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540448808
מקור הנתונים: Wikidata
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén · 2003
מקור הנתונים: Wikidata