Chris Hawblitzel – författare
Visar alla böcker från författaren Chris Hawblitzel. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Häftad, Engelska, 2012
559 kr
Skickas inom 10-15 vardagar
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 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.
E-bok
PDF, Engelska, 2012734 kr
Läs direkt efter köp
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 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.