Butterfield, Andrew.
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / [electronic resource] : edited by Andrew Butterfield. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5713 0302-9743 ; . - Lecture Notes in Computer Science, 5713 .
9783642145216
10.1007/978-3-642-14521-6 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Programming Techniques.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / [electronic resource] : edited by Andrew Butterfield. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 5713 0302-9743 ; . - Lecture Notes in Computer Science, 5713 .
9783642145216
10.1007/978-3-642-14521-6 doi
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Programming Techniques.
Artificial Intelligence (incl. Robotics).
QA76.9.L63 QA76.5913 QA76.63
005.1015113