We a good story
Quick delivery in the UK

Modelling Systems

- Practical Tools and Techniques in Software Development

About Modelling Systems

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521899116
  • Binding:
  • Hardback
  • Pages:
  • 304
  • Published:
  • June 11, 2009
  • Edition:
  • 2
  • Dimensions:
  • 181x255x19 mm.
  • Weight:
  • 678 g.
Delivery: 2-4 weeks
Expected delivery: October 21, 2024

Description of Modelling Systems

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.

User ratings of Modelling Systems



Find similar books
The book Modelling Systems can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.