Bild 1 von 2
Galerie
Bild 1 von 2
Formal Methods Fact File: VDM and Z (Wiley - Paperback, by Harry Andrew - Good
US $178,68
Ca.EUR 153,76
Artikelzustand:
- Sofort-KaufenFormal 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.
Versand:
Kostenlos USPS Media MailTM.
Standort: Philadelphia, Pennsylvania, USA
Lieferung:
Lieferung zwischen Fr, 21. Nov und Fr, 28. Nov nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Kostenloser Rückversand.
Zahlungen:
Sicher einkaufen
- Gratis Rückversand im Inland
- Punkte für jeden Kauf und Verkauf
- Exklusive Plus-Deals
Info zum Artikel
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:404670168862
Artikelmerkmale
- Artikelzustand
- Book Title
- Formal Methods Fact File: VDM and Z (Wiley Series in Software Eng
- ISBN
- 9780471940067
Über dieses Produkt
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.
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Info zu diesem Verkäufer
BooksRun
99,5% positive Bewertungen•955.490 Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Beliebte Kategorien in diesem Shop
Verkäuferbewertungen (256.356)
- e***r (2732)- Bewertung vom Käufer.Letzter MonatBestätigter KaufI 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)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufI 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)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufThe 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!
Noch mehr entdecken:
- Harry-Potter-Belletristik-Bücher,
- Andrew Gross Belletristik-Bücher,
- Harry Potter Hörbücher,
- Andrew Gross Belletristik-Bücher im Taschenbuch-Format,
- Bücher Harry-Potter-Belletristik-Jugendliche,
- Harry-Potter-Belletristik-Carlsen Bücher,
- Harry-Potter-Fantasy-Belletristik - Bücher,
- Harry-Potter-Gebundene-Ausgabe - Belletristik-Bücher,
- Hörbücher und Hörspiele Harry Potter Kassette,
- Harry Potter Hörbücher und Hörspiele mit Audio-CD
Beliebte Kategorien in diesem Shop
Verkäuferbewertungen (256.356)
- e***r (2732)- Bewertung vom Käufer.Letzter MonatBestätigter KaufI 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)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufI 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)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufThe 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!