Systematic Software Development Using Vdm
Jones, Cliff B.
ISBN 10: 0138807337 ISBN 13: 9780138807337
Editore: Pearson Education, Limited, 1990
Usato
Brossura
Da
Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 13 ottobre 2008
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 54549196-20
Riassunto:
A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Systematic Software Development Using Vdm
Casa editrice: Pearson Education, Limited
Data di pubblicazione: 1990
Legatura: Brossura
Condizione: Very Good
Edizione: Subsequent.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
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 GOR001510392
Compra usato
EUR 8,71
Spedizione EUR 6,45
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systematic Software Development Using Vdm (Prentice-hall International Series in Computer Science)
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Seiten: 350 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 38615772/3
Compra usato
EUR 11,24
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 6545-9780138807337
Compra usato
EUR 12,23
Spedizione EUR 8,04
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 7719-9780138807337
Compra usato
EUR 12,23
Spedizione EUR 5,75
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)
Editore:
Prentice-Hall 01.04.1990., 1990
ISBN 10: 0138807337
ISBN 13: 9780138807337
Antico o usato
Brossura
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Auflage: 2 Sub. 350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch. Codice articolo 377358
Compra usato
EUR 18,80
Spedizione EUR 24,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili