|
" Certified Programs and Proofs : "
edited by Chris Hawblitzel, Dale Miller.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747740
|
| Doc. No
|
:
|
b567691
|
| Main Entry
|
:
|
edited by Chris Hawblitzel, Dale Miller.
|
| Title & Author
|
:
|
Certified Programs and Proofs : : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings\ edited by Chris Hawblitzel, Dale Miller.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
|
| Series Statement
|
:
|
Lecture notes in computer science, 7679.
|
| Page. NO
|
:
|
(X, 305 p. 64 illus.).
|
| ISBN
|
:
|
3642353088
|
|
|
:
|
: 9783642353086
|
| Notes
|
:
|
Bibliographic Level Mode of Issuance: Monograph.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer science -- Mathematics -- Congresses.
|
| Subject
|
:
|
Computer software -- Congresses.
|
| Subject
|
:
|
Formal methods (Computer science) -- Verification -- Congresses.
|
| LC Classification
|
:
|
QA76.9.M35E358 2012
|
| Added Entry
|
:
|
Chris Hawblitzel
|
|
|
:
|
CPP 2012
|
|
|
:
|
Dale Miller
|
| |