Certified Programs and Proofs - Paperback - 2011
Resumo
Year of publication: 2011
Pagination: 416 pages, 87 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Editor: Jean-Pierre Jouannaud, Zhong Shao
Certified Programs and Proofs - Paperback - 2011
Resumo
Year of publication: 2011
Pagination: 416 pages, 87 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Editor: Jean-Pierre Jouannaud, Zhong Shao
Publicidade
Avaliações dos nossos clientes
Certified Programs and Proofs - Paperback - 2011
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
234 x 156 x 21
- Peso
-
586
- Tema
-
Programming & scripting languages: general|Software Engineering|Maths for computer scientists|Artificial intelligence
- Origem
-
Germany
- EAN
-
9783642253782
Publicidade
Publicidade