Library of Academia Sinica

Record: Prev Next

Author	CPP 2012 (2012 : Kyoto, Japan)
Title	Certified programs and proofs [electronic resource] : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings / edited by Chris Hawblitzel, Dale Miller
Imprint	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012

Click on the following to:
eBook(Springer)

Descript	304 p. : ill., digital ; 24 cm
Series	Lecture notes in computer science, 0302-9743 ; 7679
	Lecture notes in computer science ; 7679
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
	Springer
Host Item	Springer eBooks
Subject	Computer science -- Mathematics -- Congresses
	Formal methods (Computer science) -- Congresses
	Computer software -- Verification -- Congresses
	Computer Science
	Logics and Meanings of Programs
	Mathematical Logic and Formal Languages
	Programming Languages, Compilers, Interpreters
	Symbolic and Algebraic Manipulation
	Software Engineering
	Artificial Intelligence (incl. Robotics)
Alt Author	Hawblitzel, Chris
	Miller, Dale
	SpringerLink (Online service)
Alt Title	CPP 2012

Record: Prev Next