9780521899116 - modelling systems: practical tools and techniques in software development di fitzgerald, john; larsen, peter gorm (19 risultati)
- Rilegato
Da: AMM Books, Gillingham, KENT, Regno UnitoAMM Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 14,47
EUR 12,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 17 disponibili
Hardcover. Condizione: Very Good. Unread. In stock ready to dispatch from the UK.
- Rilegato
Da: Labyrinth Books, Princeton, NJ, U.S.A.Labyrinth Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 36,20
EUR 3,96 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: Very Good.
- Rilegato
Da: Tall Stories BA, Stoneyford, IrlandaTall Stories BA
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 30,81
EUR 12,00 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Very Good. Second. as new unused.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,83
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Rilegato
Da: AMM Books, Gillingham, KENT, Regno UnitoAMM Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 33,62
EUR 12,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Hardcover. Condizione: New. In stock ready to dispatch from the UK.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,41
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
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.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,41
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
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.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,41
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Rilegato
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,63
Spedizione gratuitaSpedito in U.S.A.Quantità: 6 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,44
EUR 6,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 6 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 65,43
EUR 7,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. 280 25 Figures.
- Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,00
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
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 t…he 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.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,48
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,94
EUR 14,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock.
- Rilegato
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,85
EUR 21,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. New copy - Usually dispatched within 4 working days.
- Rilegato
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,53
EUR 43,32 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
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 t…he 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.
- Altre immagini
- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,48
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
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.
- Rilegato
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 114,69
EUR 32,52 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
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 t…he 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.
- Altre immagini
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 89,67
EUR 63,45 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. 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 lead…ing 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.
