Language: English
Published by Cambridge University Press, 1998
ISBN 10: 0521626056 ISBN 13: 9780521626057
Seller: Bookstore Brengelman, Cincinnati, OH, U.S.A.
Hardcover. Condition: As New. Hardcover without DJ, CD included.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: HPB-Red, Dallas, TX, U.S.A.
Hardcover. Condition: 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!
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: HPB-Red, Dallas, TX, U.S.A.
Hardcover. Condition: 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!
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: AMM Books, Gillingham, KENT, United Kingdom
Hardcover. Condition: Very Good. Unread. In stock ready to dispatch from the UK.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: AMM Books, Gillingham, KENT, United Kingdom
Hardcover. Condition: New. In stock ready to dispatch from the UK.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Condition: Very Good.
Published by Cambridge University Press, 2009
Seller: HR1 Books, Hereford, United Kingdom
hardcover. Condition: New. Same / next day dispatch (Monday - Friday),
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
£ 62.74
Quantity: Over 20 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days.
Seller: moluna, Greven, Germany
Gebunden. Condition: 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.
Language: English
Published by Cambridge University Press, 1998
ISBN 10: 0521626056 ISBN 13: 9780521626057
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 288 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Language: English
Published by Cambridge University Press Jun 2009, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: 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.