Join Books.org — it's free
Home > Books > The Way of Z : Practical Programming with Formal Methods

Computers & the Internet, Programming
The Way of Z : Practical Programming with Formal Methods by Jonathan Jacky — book cover

The Way of Z : Practical Programming with Formal Methods

by Jonathan Jacky
Write a review
Log in to track your reading progress.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
November 28, 1996
Publisher
Cambridge University Press
Format
Hardcover
ISBN
9780521550413

More by Jonathan Jacky

Model-Based Software Testing and Analysis with C#: A Model-based Approach using SpecExplorer
Model-Based Software Testing and Analysis with C#: A Model-based Approach using SpecExplorer
Model-Based Software Testing and Analysis with C
Model-Based Software Testing and Analysis with C

Similar books

Open Source: Technology and Policy
Open Source: Technology and Policy
Advances in Computers, Vol. 65
Advances in Computers, Vol. 65
Introduction to Algorithms
Introduction to Algorithms
Bpmn Method and Style, 2nd Edition, with Bpmn Implementer's Guide: A Structured Approach for Business Process Modeling and Implementation Using Bpmn 2
Bpmn Method and Style, 2nd Edition, with Bpmn Implementer's Guide: A Structured Approach for Business Process Modeling and Implementation Using Bpmn 2
The Bug
The Bug
Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level
Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level
Lighting Controls Handbook
Lighting Controls Handbook
The Art of Public Speaking
The Art of Public Speaking
The Art of Public Speaking (Text, Student CD-ROM Guidebook v.4.0, and Audio Abridgement CD Set)
The Art of Public Speaking (Text, Student CD-ROM Guidebook v.4.0, and Audio Abridgement CD Set)
Behind Closed Doors: Secrets of Great Management
Behind Closed Doors: Secrets of Great Management