Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7679)
von:
Chris Hawblitzel ·
Dale Miller
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-35307-9
ISBN-10: 3-642-35307-X
Springer
· 2012
