Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues - Jean-pierre Jouannaud - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642253782 - 18 de noviembre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Jean-pierre Jouannaud
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues 2011 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 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 referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011.

Marc Notes: This volume constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Taiwan, in December 2011. The papers are organized in sections, including logic and types, certificates, formalization, proof assistants, programming languages, and hardware certification.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de noviembre de 2011
ISBN13 9783642253782
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 401
Dimensiones 155 × 235 × 21 mm   ·   585 g
Lengua Francés  
Editor Jouannaud, Jean-Pierre
Editor Shao, Zhong

Mas por Jean-pierre Jouannaud

Mostrar todo

Mere med samme udgiver

Ver todo de Jean-pierre Jouannaud ( Ej. Paperback Book )