Modelling Systems
John (University of Newcastle upon Tyne) Fitzgerald, Peter Gorm (Engineering College of Arhus, Denmark) Larsen
Cambridge University Press, 2009
91,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521899116
- ISBN-10
- 0521899117
- Publisher
- Cambridge University Press
- Year
- 2009
- Publication date
- 2009-06-11
- Pages
- 304
- Dimensions
- 255x181x19
- Weight
- 678