booktheque

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten · 2001

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2001
Language
German
Publisher
Springer London
Editions
1
ISBN
9781447102571

Data source: Wikidata

More by 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
Refinement in Z and Object-Z
John Derrick · 2001
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
A handbook of new office technology
John Derrick · 1986
What to buy for business
John Derrick · 1982