Goodreads helps you keep track of books you want to read.
Start by marking “The Way of Z: Practical Programming with Formal Methods” as Want to Read:
The Way of Z: Practical Programming with Formal Methods
Enlarge cover
Rate this book
Clear rating
Open Preview

The Way of Z: Practical Programming with Formal Methods

4.50  ·  Rating Details  ·  4 Ratings  ·  0 Reviews
This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerni ...more
Paperback
Published November 28th 1996 by Cambridge University Press
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about The Way of Z, please sign up.

Be the first to ask a question about The Way of Z

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-30 of 39)
filter  |  sort: default (?)  |  Rating Details
Siva Raman
Siva Raman marked it as to-read
Jan 28, 2016
Divya
Divya rated it it was amazing
Sep 19, 2015
Tamilselvan
Tamilselvan marked it as to-read
Sep 10, 2015
Bart Massey
Bart Massey rated it it was amazing
May 01, 2015
Jean Ventura
Jean Ventura marked it as to-read
Mar 17, 2015
Vadim
Vadim added it
Feb 01, 2015
Samy Pink
Samy Pink marked it as to-read
Jan 25, 2015
Sylvie Ratté
Sylvie Ratté marked it as to-read
Jan 06, 2015
Sugan
Sugan marked it as to-read
Nov 10, 2014
John
John rated it really liked it
Oct 19, 2014
Balamurugan Nagalingam
Balamurugan Nagalingam marked it as to-read
Oct 18, 2014
Sendhil Guna
Sendhil Guna marked it as to-read
Sep 18, 2014
Wilco
Wilco marked it as to-read
Jul 21, 2014
Anand
Anand added it
Jan 02, 2014
Sumaiyah Logose
Sumaiyah Logose marked it as to-read
Dec 18, 2013
Rithika
Rithika marked it as to-read
Nov 28, 2013
Sbharathi Raja
Sbharathi Raja marked it as to-read
Oct 24, 2013
Daniel Any
Daniel Any marked it as to-read
Oct 19, 2013
Jayanth
Jayanth marked it as to-read
Oct 18, 2013
Valar
Valar marked it as to-read
Oct 16, 2013
Shailaja
Shailaja marked it as to-read
Oct 13, 2013
Lakshminarasimman
Lakshminarasimman marked it as to-read
Oct 06, 2013
Ajay
Ajay added it
Oct 06, 2013
Ajay
Ajay marked it as to-read
Oct 06, 2013
Pearlin Deborah
Pearlin Deborah marked it as to-read
Sep 25, 2013
Anitha.j
Anitha.j marked it as to-read
Sep 12, 2013
Pandiya Thisai
Pandiya Thisai marked it as to-read
Sep 09, 2013
Noi[jioj
Noi[jioj marked it as to-read
Sep 05, 2013
Sivapradeepa
Sivapradeepa is currently reading it
Sep 09, 2013
Paúl Gualotuña
Paúl Gualotuña marked it as to-read
Feb 03, 2013
« previous 1 next »
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

Share This Book