Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Häftad, Engelska, 2012
739 kr
Beställningsvara. Skickas inom 7-10 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.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.
Produktinformation
- Utgivningsdatum2012-11-01
- Mått155 x 235 x 18 mm
- Vikt482 g
- FormatHäftad
- SpråkEngelska
- SerieTheoretical Computer Science and General Issues
- 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
- Nyhet
Del 3
- Nyhet
- Nyhet
Del 6
- Nyhet
Del 4
John Stuart Mill and the Art of Life
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 889 kr
Del 14659