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

Tiziana Margaria
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

Preço
R$ 297,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out
Receba avisos sobre novos lançamentos de Tiziana Margaria

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

Ainda não avaliado

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
Idioma Alemão  
Editor Margaria, Tiziana
Editor Steffen, Bernhard

Mais por Tiziana Margaria

Mostrar tudo

Mais da mesma editora

Ver tudo de Tiziana Margaria