Modelling Systems
Language: English
Published by Cambridge University Press, 2009
- Hardcover
- Used
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
4-star seller
AbeBooks seller since January 19, 2007
Hardcover
Condition: Used
US$ 70.79
US$ 8.70 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
pp. 280 25 Figures.
Seller Inventory # 8357984
- Title
- Modelling Systems
- Author
- Larsen Peter Gorm Fitzgerald John
- Publisher
- Cambridge University Press
- Publication year
- 2009
- Condition
- Used
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0521899117
- ISBN 13
- 9780521899116
- Edition
- 2nd Edition
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 modeling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.
"Synopsis" may belong to another edition of this title.
About the Author
John Fitzgerald is a Reader in Computing Science at the University of Newcastle upon Tyne.
Peter Gorm Larsen is a Professor of Computer Technology and Embedded Systems at the Engineering College of Aarhus (IHA), Denmark. He also works as an independent consultant.
Peter Gorm Larsen is a Professor of Computer Technology and Embedded Systems at the Engineering College of Aarhus (IHA), Denmark. He also works as an independent consultant.
"About the title" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
4-star seller
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.70 | US$ 13.18 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane
Barnet, United Kingdom EN5 2AX
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery