Bibliografie

Ergebnisse für "Chris Hawblitzel/Dale Miller"

Ähnliche Suchbegriffe: christine miller, chris hawblitzel, christian miller

1 - 1 von 1
Zur Detailsuche

Ergebnisse

Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15,2012, Proceedings, Lecture Notes in Computer Science 7679 - Theoretical Computer Science and General Issues
Chris Hawblitzel/Dale Miller
Springer Verlag GmbH
Erschienen am 01.11.2012
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen