Formal Methods and Software Engineering
Shengchao Qin, Zongyan Qiu
Formal Methods and Software Engineering - 2011
978-3-642-24559-6
Algorithm Analysis and Problem Complexity
Computer Communication Networks
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Formal Methods and Software Engineering - 2011
978-3-642-24559-6
Algorithm Analysis and Problem Complexity
Computer Communication Networks
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science