booktheque

Integrated Formal Methods

John Derrick · 2012

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
2012
Language
English
Series
Lecture Notes in Computer Science -- 7321
Publisher
Springer Berlin Heidelberg
Editions
1
ISBN
9783642307294

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
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