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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642253782 - 18 de novembro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 294,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Jean-pierre Jouannaud

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 18 de novembro de 2011
ISBN13 9783642253782
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 401
Dimensões 155 × 235 × 21 mm   ·   585 g
Idioma Francês  
Editor Jouannaud, Jean-Pierre
Editor Shao, Zhong

Mais por Jean-pierre Jouannaud

Mostrar tudo

Mais da mesma editora

Ver tudo de Jean-pierre Jouannaud