Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science - Chris Hawblitzel - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642353079 - 1 de noviembre de 2012
En caso de que portada y título no coincidan, el título será el correcto

Chris Hawblitzel
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

Precio
Mex$ 956
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 23 de jul.

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 refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

315 pages, 64 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de noviembre de 2012
ISBN13 9783642353079
Editores Springer-Verlag Berlin and Heidelberg Gm
Género Aspects (Academic) > Science / Technology Aspects
Páginas 305
Dimensiones 155 × 235 × 16 mm   ·   444 g
Lengua Alemán  
Editor Hawblitzel, Chris
Editor Miller, Dale

Mere med samme udgiver

Ver todo de Chris Hawblitzel ( Ej. Paperback Book )