Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers - Lecture Notes in Computer Science - Ernie Cohen - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642541070 - 23 de enero de 2014
En caso de que portada y título no coincidan, el título será el correcto

Ernie Cohen
Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers - Lecture Notes in Computer Science 2014 edition

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 28 de jul. - 10 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

Aún no valorado

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013.

361 pages, 83 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de enero de 2014
ISBN13 9783642541070
Editores Springer-Verlag Berlin and Heidelberg Gm
Género Aspects (Academic) > Science / Technology Aspects
Páginas 345
Dimensiones 155 × 235 × 19 mm   ·   508 g
Lengua Francés  
Editor Cohen, Ernie
Editor Rybalchenko, Andrey

Mere med samme udgiver

Ver todo de Ernie Cohen ( Ej. Paperback Book )