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,18
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 Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: Tall Stories BA, Stoneyford, Irlanda
EUR 30,41
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Second. as new unused.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: 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.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: 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.
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: 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 42,50
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: Majestic Books, Hounslow, Regno Unito
EUR 61,63
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 280 25 Figures.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: PBShop.store US, Wood Dale, IL, U.S.A.
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 64,60
Quantità: 6 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condizione: 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.
Lingua: Inglese
Editore: Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: Revaluation Books, Exeter, Regno Unito
EUR 74,97
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 74,88
Quantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: CitiRetail, Stevenage, Regno Unito
EUR 69,63
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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.
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, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 114,79
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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.
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.