Imagen 1 de 2
Galería
Imagen 1 de 2
¿Quieres vender uno?
Formal Methods Fact File: VDM and Z (Wiley - Paperback, by Harry Andrew - Good
USD178,68
Aproximadamente153,76 EUR
Estado:
- ¡Cómpralo ya!Formal 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.
Envío:
Gratis USPS Media MailTM.
Ubicado en: Philadelphia, Pennsylvania, Estados Unidos
Entrega:
Entrega prevista entre el vie. 21 nov. y el vie. 28 nov. a 94104
Devoluciones:
30 días para devoluciones. El vendedor paga el envío de la devolución.
Pagos:
Compra con confianza
Sobre este artículo
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:404670168862
Última actualización el 16 nov 2025 11:09:36 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- Book Title
- Formal Methods Fact File: VDM and Z (Wiley Series in Software Eng
- ISBN
- 9780471940067
Acerca de este producto
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.
Descripción del artículo del vendedor
Información de vendedor profesional
Acerca de este vendedor
BooksRun
99,5% de votos positivos•955 mil artículos vendidos
Registrado como vendedor profesional
Categorías populares de esta tienda
Votos de vendedor (256.361)
- e***r (2732)- Votos emitidos por el comprador.Mes pasadoCompra verificadaI 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)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaI 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)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaThe 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!
Categorías populares de esta tienda
Votos de vendedor (256.361)
- e***r (2732)- Votos emitidos por el comprador.Mes pasadoCompra verificadaI 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)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaI 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)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaThe 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!