Z An Introduction to Formal Methods

Name: Z An Introduction to Formal Methods
Price: 61.65 USD
Availability: InStock
ISBN: 9780471939733

ISBN-10: 0471939730

ISBN-13: 9780471939733

Edition: 2nd 1994 (Revised)

Authors: Antoni Diller

List price: $129.95

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $61.65

Marketplace

2 new & used from $67.50

what's this?

Rush Rewards U
Members Receive:

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.

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