Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition

Rajeev Alur

Precio

€ 114,49

Pedido desde almacén remoto

Entrega prevista 11 - 23 de oct.

Nuestros clientes opinan:

Añadir a tu lista de deseos de iMusic

536 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	29 de junio de 2004
ISBN13	9783540223429
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	536
Dimensiones	155 × 233 × 28 mm · 811 g
Lengua	German
Editor	Alur, Rajeev
Editor	Peled, Doron A.

Mostrar todo