The Way of Z Image close
The Way of Z by Jonathan Jacky
The Way of Z by Jonathan Jacky
Show Hide Adult Content
The Way of Z close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

The Way of Z

Practical Programming with Formal Methods
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$196.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $49.00 with Afterpay Learn more

6 weekly interest-free payments of $32.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Description

This book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising 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 concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
Release date NZ
November 28th, 1996
Audiences
  • Professional & Vocational
  • Tertiary Education (US: College)
Illustrations
Worked examples or Exercises
Pages
372
Dimensions
178x234x23
ISBN-13
9780521559768
Product ID
2099182

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation