Foto 1 di 2
Galleria
Foto 1 di 2
Ne hai uno da vendere?
Formal Methods Fact File: VDM and Z (Wiley - Paperback, by Harry Andrew - Good
BooksRun
(230991)
Venditore professionale
US $178,68
CircaEUR 154,29
Condizione:
- Compralo SubitoFormal Methods Fact File: VDM and Z (Wiley - Paperback, by Harry Andrew - Good
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Spedizione:
Gratis USPS Media MailTM.
Oggetto che si trova a: Philadelphia, Pennsylvania, Stati Uniti
Consegna:
Consegna prevista tra il lun 24 nov e il lun 1 dic a 94104
Restituzioni:
Restituzioni entro 30 giorni. Le spese di spedizione del reso sono a carico del venditore.
Pagamenti:
Fai shopping in tutta sicurezza
Informazioni sull'oggetto
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:404670168862
Specifiche dell'oggetto
- Condizione
- Book Title
- Formal Methods Fact File: VDM and Z (Wiley Series in Software Eng
- ISBN
- 9780471940067
Informazioni su questo prodotto
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.
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
Informazioni su questo venditore
BooksRun
99,5% di Feedback positivi•957 mila oggetti venduti
Registrato come venditore professionale
Categorie più popolari di questo Negozio
Feedback sul venditore (258.084)
- e***r (2733)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoI 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 (874)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoI 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 lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoThe 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!
Categorie più popolari di questo Negozio
Feedback sul venditore (258.084)
- e***r (2733)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoI 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 (874)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoI 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 lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoThe 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!