Produkt mají v nabídce:
Modelling Systems - Fitzgerald, John (University of Newcastle upon Tyne) a Larsen, Peter Gorm (Engineering College of Arhus, Denmark)
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.
