Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /

Bibliographic Details
Corporate Author:	CCP 2011 Kenting, Taiwan
Other Authors:	Jouannaud, Jean-Pierre, Shao, Zhong, 1968-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2011]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 7086.
Subjects:	Computer science > Mathematics > Congresses. Artificial Intelligence (incl. Robotics) Artificial intelligence Computer science Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software engineering Symbolic and Algebraic Manipulation Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online