MPG.eBooks - Search Results - "construction theory"

Search alternatives:
"construction theory" » "constructive theory", "obstruction theory", "construction history"

Cover Image

1

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

Published 2013

Springer International Publishing

Table of Contents: “... Verified Bignum Implementation in x86-64 Machine Code -- A Constructive Theory of Regular Languages in Coq...”