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
US$ 22.74
Quantity: 17 available
Add to basketHardcover. 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
US$ 22.81
Quantity: 4 available
Add to basketHardcover. 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.
Language: English
Published by Cambridge Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: Tall Stories BA, Stoneyford, Ireland
Hardcover. Condition: Very Good. Second. as new unused.
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: 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: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. pp. 280 25 Figures.
Language: English
Published by Cambridge University Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condition: new. Hardcover. 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. 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 tool support for formal modelling, online teaching support material, and up-to-date reports on real commercial applications. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: Revaluation Books, Exeter, United Kingdom
US$ 83.02
Quantity: 1 available
Add to basketHardcover. 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
US$ 83.04
Quantity: Over 20 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by Cambridge University Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: CitiRetail, Stevenage, United Kingdom
US$ 86.98
Quantity: 1 available
Add to basketHardcover. Condition: new. Hardcover. 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. 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 tool support for formal modelling, online teaching support material, and up-to-date reports on real commercial applications. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Seller: moluna, Greven, Germany
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 Jun 2009, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Neuware - Updated introduction to software modelling using VDM. Includes advanced online tool support and up-to-date reports on real commercial applications.
Language: English
Published by Cambridge University Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Seller: AussieBookSeller, Truganina, VIC, Australia
Hardcover. Condition: new. Hardcover. 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. 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 tool support for formal modelling, online teaching support material, and up-to-date reports on real commercial applications. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.