Armin Biere
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science Armin Biere 2014 edition

Name: Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science
Price: 107.49 USD
Availability: OutOfStock
Author: Armin Biere

Precio

$ 107,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

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

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science

Armin Biere

2014 edition

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

911 pages, 205 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	4 de agosto de 2014
ISBN13	9783319088662
Editores	Springer International Publishing AG
Páginas	877
Dimensiones	155 × 235 × 46 mm · 1,25 kg
Lengua	Alemán
Editor	Biere, Armin
Editor	Bloem, Roderick