booktheque

ZB 2000 : Formal Specification and Development in Z and B

Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King · 2003

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2003
שפה
English
הוצאה
Springer London, Limited
מהדורות
1
ISBN
9783540445258

מקור הנתונים: Wikidata

עוד של Jonathan P. Bowen

Electronic Visualisation in Arts and Culture
Jonathan P. Bowen · 2013
High-Integrity System Specification and Design
Jonathan P. Bowen · 1999
The Z formal specification notation
Jonathan P. Bowen · 1998
The Z formal specification notation
Jonathan P. Bowen · 1997
ZB 2003
Jonathan P. Bowen · 2003
ZUM '95: The Z Formal Specification Notation
Jonathan P. Bowen · 1995
Engineering Trustworthy Software Systems
Jonathan P. Bowen · 2026
Theories of Programming and Formal Methods
Jonathan P. Bowen · 2023
EVA London 2020
Jonathan P. Bowen · 2020
EVA London 2018
Jonathan P. Bowen · 2018