Certified Programs and Proofs
Jouannaud, Jean-Pierre.
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-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 7086 0302-9743 ; .
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)
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-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 7086 0302-9743 ; .
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)