Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - 27 de junho de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Michael Johnson

Preço
€ 66,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 16 - 25 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

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

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

392 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 27 de junho de 2006
ISBN13 9783540356332
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 392
Dimensões 155 × 235 × 21 mm   ·   566 g
Idioma German  
Editor Johnson, Michael
Editor Vene, Varmo
Mostrar tudo

Mais por Michael Johnson

Outros também compraram

Ver tudo de Michael Johnson ( por exemplo Paperback Book , CD , Hardcover Book , Book e Sheet music )