Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Modelling Systems
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
Using one of the leading formal methods, VDM (Vienna Development Method), and incorporate training in the formalism with the support of industrial-strength tools and examples from real industrial applications. This second edition has been updated to include support sophisticated online tools for formal modeling and reports are up-to-date on real commercial applications in fields as diverse as business information systems and firmware design.
Computer eBook Details
- ISBN-10: 0521899117
- ISBN-13: 9780521899116
- Publisher: Cambridge University Press
- Pages: 304
- Date: July 2009