Title: Object Orientation in Z, Author: Susan Stepney
Title: Refinement in Z and Object-Z: Foundations and Advanced Applications, Author: John Derrick
Title: The Way of Z: Practical Programming with Formal Methods, Author: Jonathan Jacky

In Stock Online

Not in Stock at My Store

Title: Understanding Z: A Specification Language and its Formal Semantics, Author: J. M. Spivey
#3 in Series

In Stock Online

Not in Stock at My Store

Title: Z: An Introduction to Formal Methods, Author: Antoni Diller

In Stock Online

Not in Stock at My Store