Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, Australia, December 11-13, 2013 : Proceedings - Paperback - 2013
Resumo
Year of publication: 2013
Pagination: 321 pages, 44 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Editor: Georges Gonthier, Michael Norrish
Certified Programs and Proofs - Third International...
Resumo
Year of publication: 2013
Pagination: 321 pages, 44 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Editor: Georges Gonthier, Michael Norrish
Publicidade
Avaliações dos nossos clientes
Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, Australia, December 11-13, 2013 : Proceedings - Paperback - 2013
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer International Publishing AG
- Dimensão
-
234 x 156 x 17
- Peso
-
498
- Tema
-
Programming & scripting languages: general|Mathematical theory of computation|Maths for computer scientists|Artificial intelligence
- Origem
-
Switzerland
- EAN
-
9783319035444
Publicidade
Publicidade