Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - S Graf - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - 15 de março de 2000
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: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

S Graf

Preço
€ 122,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 20 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

552 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de março de 2000
ISBN13 9783540672821
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 552
Dimensões 155 × 233 × 29 mm   ·   1,31 kg

Ver tudo de S Graf ( por exemplo Paperback Book )