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

by Dale Miller (Editor), Chris Hawblitzel (Editor), Dale Miller (Editor)

New
Paperback
2012
$56.22

$56.22

Save:$3.63 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 316
Edition: 2012
Publisher: Springer
Published: 01 Nov 2012
ISBN 10: 364235307X
ISBN 13: 9783642353079

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

New

$56.22

$56.22

More Information