AKTUELLE PARTNERANGEBOTE

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)

Name: Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)
Brand: Chris Hawblitzel
SKU: 9868054

Brand : Springer, Binding : Taschenbuch, Edition : 2012, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 316, publicationDate : 2012-11-01, releaseDate : 2012-11-01, publishers : Chris Hawblitzel, Dale Miller, ISBN : 364235307X

1 Angebote · ab 49,98 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)