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.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 7086Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.Description: v.: digitalISBN:- 9783642253799
- 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)
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.