Z

Z An Introduction to Formal Methods

2nd Edition

Paperback (03 May 1994)

Save $8.81

  • RRP $75.62
  • $66.81
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within two working days

Publisher's Synopsis

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 information

ISBN: 9780471939733
Publisher: Wiley
Imprint: John Wiley & Sons, Inc.
Pub date:
Edition: 2nd Edition
DEWEY: 005.133
DEWEY edition: 20
Language: English
Number of pages: 374
Weight: 690g
Height: 172mm
Width: 244mm
Spine width: 21mm