Picture 1 of 2
Gallery
Picture 1 of 2
Have one to sell?
Formal Methods Fact File: VDM and Z (Wiley - Paperback, by Harry Andrew - Good
US $178.68
ApproximatelyS$ 232.03
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free USPS Media MailTM.
Located in: Philadelphia, Pennsylvania, United States
Delivery:
Estimated between Fri, 21 Nov and Fri, 28 Nov to 94104
Returns:
30 days return. Seller pays for return shipping.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
About this item
Seller assumes all responsibility for this listing.
eBay item number:404670168862
Item specifics
- Condition
- Book Title
- Formal Methods Fact File: VDM and Z (Wiley Series in Software Eng
- ISBN
- 9780471940067
About this product
Product Information
Formal Methods Fact File VDM and Z Andrew Harry Formal methods provide a means of specifying computer systems that is unambiguous,concise and well suited to the development of complex software systems for which accuracy and reliability are critical. Heavily mathematical and seemingly difficult to learn, for many they hold little appeal. Andrew Harry speaks as a programmer who has travelled the difficult route to an understanding of formal methods techniques, and knows why it's worth the effort. He explains, in refreshingly simple terms, what formal methods are, why we need them, what should motivate our choice of methods and how to use them effectively. The book presents a novel view of formal methods, spanning the range of specification techniques. An overview of the different styles of formal notation is followed by detailed chapters on the two most popular languages, VDM and Z, consistent with the latest draft standards. There is a readable account of the underlying maths, a short introduction to semantics for proof, and a survey of tools available. Teaching aids include quick reference appendices on the notation and syntax of VDM and Z; exercises (and their solutions); and a useful glossary of terms. A more populist account than most, this book's 'informal' treatment of the subject will appeal to students and industrial programmers who want to know more but find little on the shelves for the novice. Visit our Web page! http://www.wiley.com/compbooks/
Product Identifiers
Publisher
Wiley & Sons, Incorporated, John
ISBN-10
0471940062
ISBN-13
9780471940067
eBay Product ID (ePID)
890629
Product Key Features
Number of Pages
402 Pages
Language
English
Publication Name
Formal Methods Fact File : Vdm and Z
Publication Year
1996
Subject
Programming Languages / General, Research
Type
Not Available
Subject Area
Computers, Référence
Series
Wiley Series in Software Engineering Practice Ser.
Format
Hardcover
Dimensions
Item Height
1.2 in
Item Weight
35.1 Oz
Item Length
9.5 in
Item Width
7.7 in
Additional Product Features
LCCN
96-028030
Dewey Edition
20
Series Volume Number
26
Illustrated
Yes
Dewey Decimal
005.1/2
Intended Audience
Scholarly & Professional
Lc Classification Number
Qa76.76.D47h39 1996
Table of Content
Why Do We Need Formal Methods?Background Material.Formal Specification Styles.Introduction to Model-Based Languages.VDM.The Z Notation.Formal Semantics.Tool Support.The Future of Formal Methods.Appendices.Solutions to VDM Exercises.Solutions to Z Exercises.Recommended Reading.Glossary.Index.
Item description from the seller
Popular categories from this store
Seller feedback (256,349)
- e***r (2732)- Feedback left by buyer.Past monthVerified purchaseI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well-packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service
- 7***j (872)- Feedback left by buyer.Past 6 monthsVerified purchaseI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well-packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service.
- c***e (34)- Feedback left by buyer.Past 6 monthsVerified purchaseThe textbook was better than described. It looks like brand new! The price was appropriate for the type of textbook that it is. The appearance and quality of the textbook was impeccable. The shipping took about 2 weeks to arrive, but the textbook was well worth the wait. Seller packaged my textbook beautifully which ensured that it arrived unharmed and in perfect condition. Excellent seller! I would purchase more items from this seller in the future!
Popular categories from this store
Seller feedback (256,349)
- e***r (2732)- Feedback left by buyer.Past monthVerified purchaseI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well-packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service
- 7***j (872)- Feedback left by buyer.Past 6 monthsVerified purchaseI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well-packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service.
- c***e (34)- Feedback left by buyer.Past 6 monthsVerified purchaseThe textbook was better than described. It looks like brand new! The price was appropriate for the type of textbook that it is. The appearance and quality of the textbook was impeccable. The shipping took about 2 weeks to arrive, but the textbook was well worth the wait. Seller packaged my textbook beautifully which ensured that it arrived unharmed and in perfect condition. Excellent seller! I would purchase more items from this seller in the future!