Coverart for item
The Resource Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings, Chris Hawblitzel, Dale Miller (eds.), (electronic resource)

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings, Chris Hawblitzel, Dale Miller (eds.), (electronic resource)

Label
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Title
Certified programs and proofs
Title remainder
second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Statement of responsibility
Chris Hawblitzel, Dale Miller (eds.)
Title variation
CPP 2012
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation:
Member of
Cataloging source
HUA
Dewey number
004.01/51
LC call number
QA76.9.M35
LC item number
C67 2012
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
CPP 2012
http://library.link/vocab/relatedWorkOrContributorName
  • Hawblitzel, Chris
  • Miller, Dale
Series statement
  • Lecture notes in computer science
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
7679
http://library.link/vocab/subjectName
  • Computer science
  • Formal methods (Computer science)
  • Computer software
Summary expansion
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
Label
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings, Chris Hawblitzel, Dale Miller (eds.), (electronic resource)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000810186
Dimensions
unknown
Isbn
9783642353079
Isbn Type
(pbk. : alk. paper)
Lccn
2012952937
Specific material designation
remote
System control number
(WaSeSS)bookssj0000810186
Label
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings, Chris Hawblitzel, Dale Miller (eds.), (electronic resource)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and author index
Control code
OCM1bookssj0000810186
Dimensions
unknown
Isbn
9783642353079
Isbn Type
(pbk. : alk. paper)
Lccn
2012952937
Specific material designation
remote
System control number
(WaSeSS)bookssj0000810186

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...