Kurt Jensen
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 2004 edition

Name: 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
Price: 95.99 EUR
Availability: OutOfStock
Author: Kurt Jensen

Precio

€ 95,99

Pedido desde almacén remoto

Entrega prevista 31 de dic. - 8 de ene. de 2026

Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Kurt Jensen

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	Alemán
Editor	Jensen, Kurt
Editor	Podelski, Andreas