Gibbons, Jeremy.
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / [electronic resource] : edited by Jeremy Gibbons, José Nuno Oliveira. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5846 0302-9743 ; . - Lecture Notes in Computer Science, 5846 .
9783642049125
10.1007/978-3-642-04912-5 doi
Computer science.
Software engineering.
Computer software.
Computer Science.
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
QA8.9-QA10.3
005.131
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / [electronic resource] : edited by Jeremy Gibbons, José Nuno Oliveira. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5846 0302-9743 ; . - Lecture Notes in Computer Science, 5846 .
9783642049125
10.1007/978-3-642-04912-5 doi
Computer science.
Software engineering.
Computer software.
Computer Science.
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
QA8.9-QA10.3
005.131