Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao.
By: Jouannaud, Jean-Pierre.
Contributor(s): Shao, Zhong | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 7086.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642253799.Subject(s): Computer science | Software engineering | Logic design | Algebra -- Data processing | Artificial intelligence | 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)DDC classification: 005.1015113 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.