Introduction to Formal Specification and Z - Softcover
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.
"synopsis" may belong to another edition of this title.
From the Back Cover:
Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z notation relations, functions, schemas and specifications structure. Presents a completed specification in Z notation, and shows how that specification can be transformed into a working program.Software engineers and students of advanced software engineering.
"About this title" may belong to another edition of this title.
- PublisherPrentice Hall
- Publication date1996
- ISBN 10 0132422077
- ISBN 13 9780132422079
- BindingPaperback
- Number of pages434
- Rating
Buy New
Learn more about this copy
US$ 65.57
Shipping:
US$ 4.00
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Introduction to Formal Specification and Z
Published by
Prentice Hall
(1996)
ISBN 10: 0132422077
ISBN 13: 9780132422079
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New. Fast Shipping and good customer service. Seller Inventory # Holz_New_0132422077
Buy New
US$ 65.57
Convert currency
Stock Image
Introduction to Formal Specification and Z
Published by
Prentice Hall
(1996)
ISBN 10: 0132422077
ISBN 13: 9780132422079
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: new. Seller Inventory # FrontCover0132422077
Buy New
US$ 98.92
Convert currency
Stock Image
INTRODUCTION TO FORMAL SPECIFICA
Published by
Prentice Hall
(1996)
ISBN 10: 0132422077
ISBN 13: 9780132422079
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.51. Seller Inventory # Q-0132422077
Buy New
US$ 98.10
Convert currency
Stock Image
Introduction to Formal Specification and Z
Published by
Prentice Hall
(1996)
ISBN 10: 0132422077
ISBN 13: 9780132422079
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New. Seller Inventory # Wizard0132422077
Buy New
US$ 103.13
Convert currency
Stock Image
Introduction to Formal Specification and Z
Published by
Prentice Hall
(1996)
ISBN 10: 0132422077
ISBN 13: 9780132422079
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think0132422077
Buy New
US$ 103.15
Convert currency