Catalog > Sciences > Computer Science > Computer Science > Jean-Pierre Jouannaud & Zhong Shao: Certified Programs and Proofs (PDF)

Jean-Pierre Jouannaud & Zhong Shao
Certified Programs and Proofs [PDF ebook]
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Support

Cover of Jean-Pierre Jouannaud & Zhong Shao: Certified Programs and Proofs (PDF)

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.

€71.39

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● Pages 401 ● ISBN 9783642253799 ● Editor Jean-Pierre Jouannaud & Zhong Shao ● Publisher Springer Berlin ● City Heidelberg ● Country DE ● Published 2011 ● Downloadable 24 months ● Currency EUR ● ID 2245075 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Jean-Pierre Jouannaud Zhong Shao

16,516 Ebooks in this category

Cover of Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Cover of Douglas Self: Self on Audio

Douglas Self: Self on Audio

Self on Audio: The collected audio design articles of Douglas Self, Third Edition is the most comprehensive collection of significant articles in the technical audio press. This third edition feature …

Cover of Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

Cover of Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

"Modern Data Mining with Python" is a guidebook for responsibly implementing data mining techniques that involve collecting, storing, and analyzing large amounts of structured and unstructu …

Cover of Chao-Yuan Tien & Jiann-Ming Wu: MatConvNet Deep Learning and iOS Mobile App Design for Pattern Recognition: Emerging Research and Opportunities

Chao-Yuan Tien & Jiann-Ming Wu: MatConvNet Deep Learning and iOS Mobile App Design for Pattern Recognition: Emerging Research and Opportunities

Deep learning has become a trending area of research due to its adaptive characteristics and high levels of applicability. In recent years, researchers have begun applying deep learning strategies to …

Cover of Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Neural Network Computer Vision with Open CV equips you with professional skills and knowledge to build intelligent vision systems using Open CV. It creates a sequential pathway for understanding morp …

Cover of Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

The Future of the Artificial Mind is about the social and technological challenges posed by the new wave of artificial intelligence, both from a technical and a cognitive perspective. Deep neural net …

Cover of Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Cover of Maanak Gupta & Anuj Kumar Yadav: Future Connected Technologies

Maanak Gupta & Anuj Kumar Yadav: Future Connected Technologies

The main aim of the book is to familiarize readers with the concepts of convergence of different connected and smart domains that are assisted by Cloud Computing, core technologies behind Cloud Compu …

Cover of James (Bowie State University, MD, USA) Gil de Lamadrid: Computer Organization

James (Bowie State University, MD, USA) Gil de Lamadrid: Computer Organization

Computer Organization: Basic Processor Structure is a class-tested textbook, based on the author’s decades of teaching the topic to undergraduate and beginning graduate students. The main questions t …