Rajaa
Hakutulokset: 9783642353086
Rajaa
yksi hakutulos.
Certified Programs and Proofs
e-kirja,
2012,
englanti,
ISBN 9783642353086
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 …