عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 E358 2012
QA76
.
9
.
M35
E358
2012
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642353088
(Number (ISBN
9783642353086
NATIONAL BIBLIOGRAPHY NUMBER
Number
b567691
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Certified Programs and Proofs :
General Material Designation
[Book]
Other Title Information
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
First Statement of Responsibility
edited by Chris Hawblitzel, Dale Miller.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg : Imprint: Springer
Date of Publication, Distribution, etc.
2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(X, 305 p. 64 illus.).
SERIES
Series Title
Lecture notes in computer science, 7679.
GENERAL NOTES
Text of Note
Bibliographic Level Mode of Issuance: Monograph.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science -- Mathematics -- Congresses.
Computer software -- Congresses.
Formal methods (Computer science) -- Verification -- Congresses.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Book number
E358
2012
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Chris Hawblitzel, Dale Miller.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Chris Hawblitzel
CPP 2012
Dale Miller
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
