Barthe, Gilles.
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / [electronic resource] : edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7041 0302-9743 ; . - Lecture Notes in Computer Science, 7041 .
9783642246906
10.1007/978-3-642-24690-6 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Computer Communication Networks.
Artificial Intelligence (incl. Robotics).
QA76.758
005.1
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / [electronic resource] : edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7041 0302-9743 ; . - Lecture Notes in Computer Science, 7041 .
9783642246906
10.1007/978-3-642-24690-6 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Computer Communication Networks.
Artificial Intelligence (incl. Robotics).
QA76.758
005.1