Stock Image

Z: An Introduction to Formal Methods (Second Edition)

Antoni Diller

8 ratings by Goodreads
ISBN 10: 0471939730 / ISBN 13: 9780471939733
Published by Wiley, West Sussex, England, 2001
Used Condition: Very Good Soft cover
From Librarius Books (Chester le Street, United Kingdom)

AbeBooks Seller Since September 2, 2005 Seller Rating 4-star rating

Quantity Available: 1

Buy Used
Price: US$ 78.19 Convert Currency
Shipping: US$ 9.16 From United Kingdom to U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

Wiley, 2001. ISBN: 0471939730. Softback. Very good condition. Minor shelfwear. Internally clean, bright and unmarked. Comprehensive tutorial introduction to Z. Case studies are used throughout to illustrate key aspects. Includes exerises and proofs. Chapters include: Introduction; First-order Logic; Set Theory; Internal Telephone Directory (Case Study and Scenarios); More About Relations and Schemas; Functions; Sequences; Bags; Free Types; Formal Proof; Rigorous Proof; Immanent Reasoning; Reification and Decomposition; Floyd-Hoare Logic; Getting to Program Code; Two Small Case Studies; Wings Library Problem; Partial Specification of a Text-editor; Animation using Miranda; Methods of Definition; Formal Definitions; Rules and Obligations. Also inludes appendices covering: Variable Conversions; Answers to Exercises; Glossary of Terms; Glossary of Symbols; Bibliography; Index. 24 x 17 cm. 374 pp. Librarius is a small UK-based family business and we pride ourselves on our customer service. Orders will be securely wrapped and usually dispatched same or next day. Full refunds will be given if you are unhappy with your purchase and return it within 10 days. Photographs of all of our books are available on request; please feel free to email with any enquiries. Bookseller Inventory # 001263

Ask Seller a Question

Bibliographic Details

Title: Z: An Introduction to Formal Methods (Second...

Publisher: Wiley, West Sussex, England

Publication Date: 2001

Binding: Soft cover

Book Condition:Very Good

Dust Jacket Condition: No Jacket

About this title


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.

From the Back Cover:

Z An Introduction to Formal Methods Second Edition Antoni Diller University of Birmingham Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and clear descriptions and explanations provided, this book is required reading for students and post-experience software engineers learning Z. Enhancements to this edition are more exercises, information on how to relate Z specifications to actual program code, and amendments so that the book is in line with the current language standards.

"About this title" may belong to another edition of this title.

Store Description

Mail order/online only

Visit Seller's Storefront

Terms of Sale:

Should you have a query about any of our books please contact us.

Photographs of all our books are available on request.

A full refund will be offered should you be dissatisfied with your purchase and
return it within 10 days of receipt.

Librarius Books
The Poplars
Coronation Street
Chester le Street
0191 3892160

Shipping Terms:

Orders usually ship within 2 business days. Shipping costs are based on books weighing 0.8 kg, or 1.76 lb. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order Cash PayPal Bank Draft Bank/Wire Transfer Direct Debit (Personally Authorized Payment)