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.
Search results for Software Development With Z: A Practical Approach to...
Seller Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: Zoom Books Company, Lynden, WA, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Seller Inventory # ZBV.0201627574.VG
Seller Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: ZBK Books, Carlstadt, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Fast & Free Shipping â" Good condition. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy. Seller Inventory # ZWV.0201627574.G
Stock Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: World of Books (was 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 # 00107687207
Stock Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0201627574I3N00
Stock Image
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 7719-9780201627572
Buy Used
US$ 4.07
US$ 5.44 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
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
paperback. 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 # rev2064211904
Buy Used
US$ 1.70
US$ 8.92 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
US$ 6.20
US$ 6.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Seller Inventory # GWSVV.0201627574.G
Stock Image
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 6545-9780201627572
Buy Used
US$ 4.50
US$ 9.22 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Software Development With Z: A 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
Buy Used
US$ 5.02
US$ 11.16 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available