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
- LinguaInglese
- Numero di pagine398
- Contatto del produttorenon disponibile
Risultati della ricerca per An Introduction to Formal Specification With Z and...
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à: 9 disponibili
Foto dell'editore
Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering)
Editore:
McGraw-Hill Publishing Co., 1994
ISBN 10: 0077079078
ISBN 13: 9780077079079
Antico o usato
Paperback
Da: Reuseabook, Gloucester, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Used; Very Good. Dispatched, from the UK, within 48 hours of ordering. Though second-hand, the book is still in very good shape. Minimal signs of usage may include very minor creasing on the cover or on the spine. Grubby book may have mild dirt or some staining, mostly on the edges of pages. Codice articolo CHL10254723
Quantità: 1 disponibili
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 (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-G-001-02319
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