Hawblitzel chris editor (1 resultados)

Autor:

Certified Programs and Proofs: Second International Conference, Cpp 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Hawblitzel, Chris (Editor) / Miller, Dale (Editor)
Idioma: Inglés
Editorial: Springer, 2012
364235307X / 9783642353079
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Vendedor de 5 estrellas
Contactar con el vendedor
Condición: Nuevo
EUR 81,49
Envío por EUR 11,98
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 2012 edition. 315 pages. 9.20x6.10x0.70 inches. In Stock.
Más información de Dale Miller
Descubre sus obras publicadas y ofertas coleccionables.Entra ya a Dale Miller

Certified Programs and Proofs: Second International Conference, Cpp 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)