booktheque

Refinement

John Derrick, Eerke Boiten · 2018

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2018
Language
English
Publisher
Springer International Publishing AG
Editions
2
ISBN
9783319927091

Data source: Wikidata

More by John Derrick

Refinement in Z and ObjectZ
John Derrick · 2013
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
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