
Conte aos seus amigos sobre este item:
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
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
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 |
Ver tudo de Hubert Garavel ( por exemplo Paperback Book )