00000cmm a22000005i 4500 UP-99796217611076563 Buklod 20230504003249.0 m go j cr |n |||auu|a 111114s2011 xx u | eng d 9783642253799(eBook) (iLib)UPD-00210205064 DLC DML eng QA76.9 M35 C37 2011eb Jouannaud, Jean-Pierre. editor. Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings [electronic resource] edited by Jean-Pierre Jouannaud, Zhong Shao. Berlin, Heidelberg Springer Berlin Heidelberg 2011. 1 online resource (XV, 401p.) This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink. Computer science. Software engineering. Logic design. Algebra Data processing. Artificial intelligence. Computer science -- Mathematics -- Congresses. Electronic books. Shao, Zhong. editor. SpringerLink (Online service). Springer eBooks. Printed edition 9783642253782. Electronic Resource http://link.springer.com/book/10.1007/978-3-642-25379-9 Available for University of the Philippines Diliman via SpringerLink. Click here to access (viewed 21 April 2014) Fo Computer Science (Springer-11645) UPD DMLR Electronic Resource