Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering - Jim Davies - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540732099 - 22 de junho de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition

Jim Davies

Preço
NOK 1.369

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 9 - 19 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering 2007 edition

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

662 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 22 de junho de 2007
ISBN13 9783540732099
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 662
Dimensões 155 × 235 × 34 mm   ·   929 g
Idioma French  
Editor Davies, Jim
Editor Gibbons, Jeremy
Mostrar tudo

Mais por Jim Davies

Ver tudo de Jim Davies ( por exemplo CD , Paperback Book , Hardcover Book e Book )