Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science)

~~53.49 EUR~~ 52.94 EUR 1% Off

Entdecken Sie in den Proceedings der dritten Internationalen Konferenz über zertifizierte Programme und Beweise (CPP 2013) in Melbourne die neuesten Theorien, Algorithmen und Fallstudien zur formalen Verifikation von Software, präsentiert von führenden Forschern aus aller Welt.