Unifying Theories of Programming
Shengchao Qin
Unifying Theories of Programming - 2010
978-3-642-16690-7
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Unifying Theories of Programming - 2010
978-3-642-16690-7
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science