Gå direkte til innholdet
Certified Programs and Proofs
Spar

Certified Programs and Proofs

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011.
Undertittel
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Opplag
2011 ed.
ISBN
9783642253782
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
18.11.2011
Antall sider
401