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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - 15 de marzo de 2000
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 120,99

Pedido desde almacén remoto

Entrega prevista 11 - 20 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de 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

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