Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science - Egon Borger - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540876021 - 8 de setembro de 2008
Caso a capa e o título não sejam correspondentes, considere o título como correto

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science 2008 edition

Egon Borger

Preço
R 1.048,34

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 4 - 12 de set

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

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science 2008 edition

Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

394 pages, Illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de setembro de 2008
ISBN13 9783540876021
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 384
Dimensões 155 × 235 × 25 mm   ·   612 g
Idioma French  
Editor Boca, Paul
Editor Boerger, Egon
Editor Bowen, Jonathan P.
Editor Butler, Michael
Mostrar tudo

Mais por Egon Borger

Ver tudo de Egon Borger ( por exemplo Paperback Book , Book e Hardcover Book )