Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Modelling Systems

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

John Fitzgerald

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 04095974

Editoras Cambridge University Press, junho 2009

How can we make sure that the software we build does what it is supposed to? This book provides an i... Descrição completa

Código Libristo: 04095974

136 b

56.30 €

Armazenamento externo Envio em 14-20 dias

Política de devolução de 30 dias

Os clientes também compraram

Meine ersten Kinderlieder Ralf Stock

Partituras

8.80 €

Na západní frontě klid Erich Maria Remarque

Livro de capa dura

8.50 €

Gehenne Saidi

Capa mole

15.18 €

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.