Get Free Shipping on orders over $79
Z : An Introduction to Formal Methods - Antoni Diller

Z

An Introduction to Formal Methods

By: Antoni Diller

Paperback | 3 May 1994 | Edition Number 2

At a Glance

Paperback


$128.95

or 4 interest-free payments of $32.24 with

 or 

Ships in 5 to 7 business days

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

More in Computer Programming & Software Development

MacBook Neo For Dummies - Mark L. Chambers

RRP $41.95

$33.75

20%
OFF
Python & AI For Dummies - John C. Shovic

RRP $57.95

$44.75

23%
OFF
The Practical Guide : The Practical Guide - Kerem Koseoglu
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Computer Systems 3ed : A Programmer's Perspective, Global Edition - David O'Hallaron
Coding For Kids For Dummies : For Kids for Dummies - Camille McCue
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.99

30%
OFF
Fundamentals of Python : 3rd Edition - First Programs - Kenneth Lambert