Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Modelling Systems

Name: Modelling Systems
Brand: Cambridge University Press
SKU: 04095974
Price: 63.8 EUR
Availability: InStock
Author: John Fitzgerald
ISBN: 9780521899116

John Fitzgerald

Language

English

Book Hardback

Libristo code: 04095974

Publishers Cambridge University Press, June 2009

How can we make sure that the software we build does what it is supposed to? This book provides an i... Full description

Libristo code: 04095974

154 b

63.80 €

In stock at our supplier Shipping in 14-20 days

30-day return policy

Customers also purchased

Meine ersten Kinderlieder Ralf Stock

Sheet music

10.12 €

Na západní frontě klid Erich Maria Remarque

Hardback

9.71 €

Gehenne Saidi

Paperback

18.32 €

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 modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.