Author books / Книги автора Daniel R. Licata Guillaume Brunerie (auth.) Georges Gonthier Michael Norrish (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Daniel R. Licata Guillaume Brunerie (auth.) Georges Gonthier Michael Norrish (eds.)

book Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

pdf

Author: Daniel R. Licata Guillaume Brunerie (auth.) Georges Gonthier Michael Norrish (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0