Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Häftad, Engelska, 2012
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2012-11-01
- Mått155 x 235 x 18 mm
- Vikt482 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor305
- Upplaga2012
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642353079
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
John Stuart Mill and the Art of Life
EGGLESTON ET AL, Eggleston Et Al, Ben Eggleston, Dale Miller, David Weinstein, Dale E. Miller, University of Kansas) Eggleston, Ben (Professor of Philosophy, Professor of Philosophy, Old Dominion University) Miller, Dale E. (Professor of Philosophy, Professor of Philosophy, Wake Forest University) Weinstein, David (Professor of Political Science, Professor of Political Science
1 849 kr