Book Haul is Back! 50% Off Hundreds of Hardcovers And More Deals Shop Now In Stores & OnlineBook Haul is Back! 50% Off Hundreds of Hardcovers And More Deals Shop Now In Stores & Online
Add Item to wish listAdd Item to wish list

The Way of Z: Practical Programming with Formal Methods

By Jonathan Jacky
Paperback
$83.00
By Jonathan Jacky
Promotion message icon

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5. Learn More

Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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 concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implem...

Categories