The Way of Z: Practical Programming with Formal Methods - Jacky, Jonathan (University of Washington) - Books - Cambridge University Press - 9780521559768 - November 28, 1996
In case cover and title do not match, the title is correct

Jacky, Jonathan (University of Washington)
The Way of Z: Practical Programming with Formal Methods

Price
$ 99.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 10 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.

372 pages, Illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 28, 1996
ISBN13 9780521559768
Publishers Cambridge University Press
Pages 372
Dimensions 299 × 194 × 27 mm   ·   668 g
Language English  

More by Jacky, Jonathan (University of Washington)

Show all

Mere med samme udgiver

See all of Jacky, Jonathan (University of Washington) ( e.g. Paperback Book and Hardcover Book )