Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings - Lecture Notes in Computer Science - Georges Gonthier - Libros - Springer International Publishing AG - 9783319035444 - 18 de noviembre de 2013
En caso de que portada y título no coincidan, el título será el correcto

Georges Gonthier
Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings - Lecture Notes in Computer Science 2013 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 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 Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.

321 pages, 44 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de noviembre de 2013
ISBN13 9783319035444
Editores Springer International Publishing AG
Páginas 309
Dimensiones 155 × 235 × 17 mm   ·   453 g
Lengua Francés  
Editor Gonthier, Georges
Editor Norrish, Michael

Mere med samme udgiver

Ver todo de Georges Gonthier ( Ej. Paperback Book )