Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
John Wordsworth
ISBN 10: 0201627574 ISBN 13: 9780201627572
Published by Addison-Wesley, 1992
Used
Paperback
From
ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 2 July 2009
This specific item is no longer available.
About this Item
Description:
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0201627574I3N00
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Software Development With Z: A Practical ...
Publisher: Addison-Wesley
Publication Date: 1992
Binding: Paperback
Condition: Good
Dust Jacket Condition: No Jacket
Top Search Results from the AbeBooks Marketplace
Seller Image
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # wbs3619517852
Buy Used
£ 2.68
£ 9 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 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. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 13520534-6
Buy Used
£ 4.67
£ 5 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 3 available
Stock Image
Software Development with Z: Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M00201627574-G
Stock Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: BennettBooksLtd, Los Angeles, CA, 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