Pensum -10%
Certified Programs and Proofs
Georges Gonthier, Michael Norrish
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Certified Programs and Proofs
Redigert av Chris Hawblitzel, Dale Miller, 2012.Del av serien Lecture Notes in Computer Science.
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
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.
PocketEngelsk
Normalpris: 649,-
584,-
Spar 65,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Certified Programs and Proofs
Redigert av Chris Hawblitzel, Dale Miller, 2012.Del av serien Lecture Notes in Computer Science.
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
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.
Normalpris: 649,-
584,-
Spar 65,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
584,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
