Méry, Dominique.
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / [electronic resource] : edited by Dominique Méry, Stephan Merz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6396 0302-9743 ; . - Lecture Notes in Computer Science, 6396 .
9783642162657
10.1007/978-3-642-16265-7 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
QA76.758
005.1
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / [electronic resource] : edited by Dominique Méry, Stephan Merz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6396 0302-9743 ; . - Lecture Notes in Computer Science, 6396 .
9783642162657
10.1007/978-3-642-16265-7 doi
Computer science.
Software engineering.
Computer software.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
QA76.758
005.1