Bolduc, Claude.
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / [electronic resource] : edited by Claude Bolduc, Jules Desharnais, Béchir Ktari. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6120 0302-9743 ; . - Lecture Notes in Computer Science, 6120 .
9783642133213
10.1007/978-3-642-13321-3 doi
Computer science.
Monoclonal antibodies.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Antibodies.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings / [electronic resource] : edited by Claude Bolduc, Jules Desharnais, Béchir Ktari. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6120 0302-9743 ; . - Lecture Notes in Computer Science, 6120 .
9783642133213
10.1007/978-3-642-13321-3 doi
Computer science.
Monoclonal antibodies.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Antibodies.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113