Daniel Kroening
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Lecture Notes in Computer Science Daniel Kroening 1st ed. 2015 edition

Name: Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Daniel Kroening

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 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: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Lecture Notes in Computer Science

Daniel Kroening

1st ed. 2015 edition

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.

677 pages, 141 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	27 de julio de 2015
ISBN13	9783319216898
Editores	Springer International Publishing AG
Páginas	677
Dimensiones	155 × 235 × 36 mm · 970 g
Lengua	Francés
Editor	Kroening, Daniel
Editor	Pasareanu, Corina S.