Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee - Kurt Jensen - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540212997 - 18 de marzo de 2004
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: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 edition

Kurt Jensen

Precio
SEK 1.359

Pedido desde almacén remoto

Entrega prevista 12 - 24 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 edition

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004).

614 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de marzo de 2004
ISBN13 9783540212997
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 614
Dimensiones 155 × 235 × 32 mm   ·   1,43 kg
Lengua German  
Editor Jensen, Kurt
Editor Podelski, Andreas
Mostrar todo

Mas por Kurt Jensen

Ver todo de Kurt Jensen ( Ej. Paperback Book , Hardcover Book y Loose-leaf )