Introduction Formal Specification and Z

by Jane Sinclair, Ben Potter, David Till

Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years. This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0132422077
• ISBN13: 9780132422079
• Release Date: January 1996
• Publisher: Prentice Hall
• Length: 448 Pages
• Weight: 1.65 lbs.
• Dimensions: 0.8" x 6.9" x 9.2"