Recomienda este artículo a tus amigos:
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
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
552 pages, biography
Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
Publicado | 15 de marzo de 2000 |
ISBN13 | 9783540672821 |
Editores | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 552 |
Dimensiones | 155 × 233 × 29 mm · 1,31 kg |
Ver todo de S Graf ( Ej. Paperback Book )