Lingua: Inglese
Editore: Cambridge University Press, 1998
ISBN 10: 0521626056 ISBN 13: 9780521626057
Da: Bookstore Brengelman, Cincinnati, OH, U.S.A.
Hardcover. Condizione: As New. Hardcover without DJ, CD included.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: HPB-Red, Dallas, TX, U.S.A.
Hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: HPB-Red, Dallas, TX, U.S.A.
Hardcover. Condizione: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: AMM Books, Gillingham, KENT, Regno Unito
EUR 17,78
Quantità: 17 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Unread. In stock ready to dispatch from the UK.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: Labyrinth Books, Princeton, NJ, U.S.A.
Condizione: Very Good.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: AMM Books, Gillingham, KENT, Regno Unito
EUR 44,31
Quantità: 4 disponibili
Aggiungi al carrelloHardcover. Condizione: New. In stock ready to dispatch from the UK.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: Revaluation Books, Exeter, Regno Unito
EUR 75,09
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
EUR 75,00
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days.
Editore: Cambridge University Press, 2009
Da: HR1 Books, Hereford, Regno Unito
EUR 43,87
Quantità: 3 disponibili
Aggiungi al carrellohardcover. Condizione: New. Same / next day dispatch (Monday - Friday),
Da: moluna, Greven, Germania
EUR 72,11
Quantità: 5 disponibili
Aggiungi al carrelloGebunden. Condizione: New. An introduction to software modelling using VDM (Vienna Development Method) that combines training in the formalism with industry-strength tool support and examples derived from commercial applications. This updated second edition includes advanced online t.
Lingua: Inglese
Editore: Cambridge University Press, 1998
ISBN 10: 0521626056 ISBN 13: 9780521626057
Da: Buchpark, Trebbin, Germania
EUR 37,14
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 288 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Lingua: Inglese
Editore: Cambridge University Press Jun 2009, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 89,21
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware - How can we make sure that the software we build does what it is supposed to This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.