Skip to content

Z An Introduction to Formal Methods

ISBN-10: 0471939730

ISBN-13: 9780471939733

Edition: 2nd 1994 (Revised)

Authors: Antoni Diller

List price: $129.95
Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.
Customers also bought

Book details

List price: $129.95
Edition: 2nd
Copyright year: 1994
Publisher: John Wiley & Sons, Incorporated
Publication date: 7/19/1994
Binding: Paperback
Pages: 394
Size: 6.75" wide x 9.75" long x 1.00" tall
Weight: 1.694
Language: English

Tutorial
First-Order Logic
Set Theory
Internal Telephone Directory
More About Relations and Schemas
Functions
Sequences
Bags
Free Types
Methods of Reasoning
Formal Proof
Rigorous Proof
Immanent Reasoning
Reification and Decomposition
Floyd-Hoare Logic
Getting to Program Code
Two Small Case Studies
Wing's Library Problem
Partial Specification of a Text-Editor
Specification Animation
Animation Using Miranda
Reference Manual
Methods of Definition
Formal Definitions
Rules and Obligations
Appendices
Bibliography
Index