Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
EUR 12,57
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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!
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
EUR 12,57
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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!
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: AMM Books, Gillingham, KENT, Reino Unido
EUR 17,44
Cantidad disponible: 17 disponibles
Añadir al carritoHardcover. Condición: Very Good. Unread. In stock ready to dispatch from the UK.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America
EUR 35,39
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: Very Good.
Idioma: Inglés
Publicado por Cambridge Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: Tall Stories BA, Stoneyford, Irlanda
EUR 30,43
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. Second. as new unused.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 55,85
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 55,85
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 55,85
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: AMM Books, Gillingham, KENT, Reino Unido
EUR 43,39
Cantidad disponible: 4 disponibles
Añadir al carritoHardcover. Condición: New. In stock ready to dispatch from the UK.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: Majestic Books, Hounslow, Reino Unido
EUR 61,51
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 280 25 Figures.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 70,09
Cantidad disponible: 6 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 64,65
Cantidad disponible: 6 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 74,31
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: Revaluation Books, Exeter, Reino Unido
EUR 75,03
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Brand New. 2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock.
Idioma: Inglés
Publicado por Cambridge University Press, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 74,94
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. New copy - Usually dispatched within 4 working days.
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: CitiRetail, Stevenage, Reino Unido
EUR 69,68
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Librería: moluna, Greven, Alemania
EUR 72,11
Cantidad disponible: 5 disponibles
Añadir al carritoGebunden. Condición: 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.
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: AussieBookSeller, Truganina, VIC, Australia
EUR 115,10
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Idioma: Inglés
Publicado por Cambridge University Press Jun 2009, 2009
ISBN 10: 0521899117 ISBN 13: 9780521899116
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 89,21
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: 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.