Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings - Lecture Notes in Computer Science - Natasha Sharygina - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642397981 - 14 de julio de 2013
En caso de que portada y título no coincidan, el título será el correcto

Natasha Sharygina
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings - Lecture Notes in Computer Science 2013 edition

Precio
$ 104,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jul. - 6 de ago.

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

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.

1037 pages, 237 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de julio de 2013
ISBN13 9783642397981
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 1015
Dimensiones 155 × 235 × 51 mm   ·   1,56 kg
Lengua Francés  
Editor Sharygina, Natasha
Editor Veith, Helmut

Mere med samme udgiver

Ver todo de Natasha Sharygina ( Ej. Paperback Book )