Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec - Hubert Garavel - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540008989 - 14 de março de 2003
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: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec 2003 edition

Hubert Garavel

Preço
€ 92,49
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de jul - 4 de ago
Adicione à sua lista de desejos do iMusic

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Lec 2003 edition

604 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 14 de março de 2003
ISBN13 9783540008989
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 604
Dimensões 155 × 233 × 32 mm   ·   1,43 kg
Idioma German  
Editor Garavel, Hubert
Editor Hatcliff, John