booktheque

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten · 2001

איפה לקנות

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

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

פרטי הספר

שנה
2001
שפה
English
הוצאה
Springer
מהדורות
5
עמודים
466
ISBN
9781852332457

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

עוד של John Derrick

Refinement in Z and ObjectZ
John Derrick · 2013
Refinement
John Derrick · 2018
Abstract State Machines, Alloy, B, VDM, and Z
John Derrick · 2012
Integrated Formal Methods
John Derrick · 2012
The Office Equipment Adviser
John Derrick · 1995
Hana Highway Mile by Mile - the Road to Hana and Beyond
John Derrick · 2010
Formal Techniques for Networked and Distributed Systems - FORTE 2007
John Derrick · 2007
Refinement in Z and Object-Z
John Derrick · 2001
A handbook of new office technology
John Derrick · 1986
What to buy for business
John Derrick · 1982