Items related to Software Development With Z: A Practical Approach to...
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) - Softcover
Synopsis
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
"synopsis" may belong to another edition of this title.
- PublisherAddison-Wesley
- Publication date1992
- ISBN 10 0201627574
- ISBN 13 9780201627572
- BindingPaperback
- LanguageEnglish
- Number of pages400
Search results for Software Development With Z: A Practical Approach to...
Stock Image
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Published by
Addison Wesley Publishing Company, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Used
Paperback
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.15. Seller Inventory # G0201627574I4N00
Quantity: 1 available
Stock Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: SecondSale, Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00054352904
Quantity: 1 available
Stock Image
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR001729493
Quantity: 4 available
Stock Image
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Published by
Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574
ISBN 13: 9780201627572
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 13520534-6
Quantity: 2 available
Stock Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0201627574
Quantity: 1 available