Just Announced: The Children's & YA Book Awards Winners Explore Now
1- 5 of 5 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Refinement in Z and Object-Z: Foundations and Advanced Applications, Author: John Derrick
QUICK ADD
Refinement in Z and Object-Z:…
by John Derrick, Eerke A. Boiten
Paperback $109.99
Title: The Object-Z Specification Language / Edition 1, Author: Graeme Smith
QUICK ADD
The Object-Z Specification…
by Graeme Smith
#1 in Series
Hardcover $219.99
Title: Object Orientation in Z, Author: Susan Stepney
QUICK ADD
Object Orientation in Z
by Susan Stepney (Editor), Rosalind Barden (Editor), David Cooper (Editor)
Explore Series
Paperback $54.99
Title: The Way of Z: Practical Programming with Formal Methods / Edition 1, Author: Jonathan Jacky
QUICK ADD
The Way of Z: Practical…
by Jonathan Jacky
Paperback $74.99
Title: Z: An Introduction to Formal Methods / Edition 2, Author: Antoni Diller
QUICK ADD
Z: An Introduction to Formal…
by Antoni Diller
Paperback $140.75