Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Modelling Systems

Name: Modelling Systems
Brand: Cambridge University Press
SKU: 04095974
Price: 22655 HUF
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

22 655 Ft

In stock at our supplier Shipping in 14-20 days

30-day return policy

Customers also purchased

Meine ersten Kinderlieder Ralf Stock

Sheet music

3 947 Ft

Na západní frontě klid Erich Maria Remarque

Hardback

3 595 Ft

Gehenne Saidi

Paperback

6 515 Ft

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.