Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science - Chris Hawblitzel - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642353079 - 1. november 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

Chris Hawblitzel

Pris
SFr. 55,99

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 17. okt.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Lecture Notes in Computer Science 2012 edition

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. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

315 pages, 64 black & white illustrations, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 1. november 2012
ISBN13 9783642353079
Forlag Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Antal sider 305
Mål 155 × 235 × 16 mm   ·   444 g
Sprog Tysk  
Klipper/redaktør Hawblitzel, Chris
Klipper/redaktør Miller, Dale

Se alt med Chris Hawblitzel ( f.eks. Paperback Bog )