Articoli correlati a An Introduction to Formal Specification With Z and...
Sinossi
Formal methods emphasize the correct and efficient development of software. This text puts formal specification in the context of traditional methods of software development, including object-orientation, introducing these concepts and the necessary discrete maths, before moving on to look at both Z and VDM in depth, using the case study of a drinks dispensing machine.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Sheppard Deri
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreMcGraw-Hill Book Co Ltd
- Data di pubblicazione1994
- ISBN 10 0077079078
- ISBN 13 9780077079079
- RilegaturaCopertina flessibile
- Numero di pagine398
Compra usato
Condizioni: molto buonoThe book has been read, but is... Scopri di più su questo articolo
EUR 9,88
Spese di spedizione:
EUR 5,73
Da: Regno Unito a: U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering)
Editore:
McGraw-Hill Book Co Ltd
ISBN 10: 0077079078
ISBN 13: 9780077079079
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR004041042
Quantità: 1 disponibili
Foto dell'editore
An Introduction to Formal Specification With Z and Vdm
Editore:
McGraw-Hill Publishing Co., 1994
ISBN 10: 0077079078
ISBN 13: 9780077079079
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo D-485-873
Quantità: 1 disponibili
Foto dell'editore
An Introduction to Formal Specification With Z and Vdm (The McGraw-Hill International Series in Software Engineering)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-R-021-01998
Quantità: 8 disponibili