Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Tacas '96, Passau, Germany, March 27-29 1996, Proceedings, Tacas '96, Passau, Germany, March 2 - Tiziana Margaria - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540610427 - 20 de março de 1996
Caso a capa e o título não sejam correspondentes, considere o título como correto

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Tacas '96, Passau, Germany, March 27-29 1996, Proceedings, Tacas '96, Passau, Germany, March 2

Tiziana Margaria

Preço
€ 64,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 31 de jul - 12 de ago

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

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Tacas '96, Passau, Germany, March 27-29 1996, Proceedings, Tacas '96, Passau, Germany, March 2

These conference proceedings address current aspects of the design and analysis of distributed systems. The volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

443 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 20 de março de 1996
ISBN13 9783540610427
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 443
Dimensões 156 × 234 × 23 mm   ·   635 g
Editor Margaria, Tiziana
Editor Steffen, Bernhard
Mostrar tudo

Mais por Tiziana Margaria

Ver tudo de Tiziana Margaria ( por exemplo Paperback Book )