Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science, Band 8307)
von:
Georges Gonthier · Michael Norrish
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-319-03544-4
ISBN-10: 3-319-03544-4
Springer
· 2013