Helen Treharne
ZB 2005 : Formal Specification and Development in Z and B
Helen Treharne, Steve King, Martin Henson, Steve Schneider · 2005
פרטי הספר
- שנה
- 2005
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540320074
מקור הנתונים: Wikidata