Formal Methods and Software Engineering
Qin, Shengchao.
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / [electronic resource] : edited by Shengchao Qin, Zongyan Qiu. - Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6991 0302-9743 ; .
9783642245596
Computer science
Computer Communication Networks
Software engineering
Computer software
Computer Science
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Computer Communication Networks
Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / [electronic resource] : edited by Shengchao Qin, Zongyan Qiu. - Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6991 0302-9743 ; .
9783642245596
Computer science
Computer Communication Networks
Software engineering
Computer software
Computer Science
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Computer Communication Networks