Z: An Introduction to Formal Methods

Name: very clear - a good book on Z
Item: Z: An Introduction to Formal Methods, 2nd Edition
Rating: 5
Author: Thriftbooks.com User

by Antoni Diller

Select Format

Select Condition

Book Overview

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.

Format:Paperback

Language:English

ISBN:0471939730

ISBN13:9780471939733

Release Date:July 1994

Publisher:Wiley

Length:400 Pages

Weight:1.60 lbs.

Dimensions:0.8" x 6.6" x 9.7"

Related Subjects

Computer Science Computers Computers & Technology Education & Reference Languages & Tools Mathematics Methodology Programming Programming Languages Science & Math Software Software Design & Engineering Software Design, Testing & Engineering Software Development Software Engineering

Customer Reviews

1 rating

Write a review

very clear - a good book on Z

Published by Thriftbooks.com User , 18 years ago

If you want to learn a formal method, particularly Z, this is the book! Explanation is very clear.

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ^® and the ThriftBooks ^® logo are registered trademarks of Thrift Books Global, LLC

Z: An Introduction to Formal Methods

Select Format

Select Condition

Recommended

Book Overview

Customer Reviews

very clear - a good book on Z

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us