Z : An Introduction to Formal Methods, Paperback by Diller, Antoni, Like New ...
79,52 €
Z : An Introduction to Formal Methods, Paperback by Diller, Antoni, ISBN 0471939730, ISBN-13 9780471939733, Like New Used, Free shipping in the US 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.
Jetzt bei Ebay:
![Produktbild - Z.: An Introduction to Formal Methods by Diller, Antoni [Paperback]](https://i.ebayimg.com/thumbs/images/g/XzUAAOSwZJJm~Oxx/s-l140.jpg)
