Software Engineering and Formal Methods
Gilles Barthe, Alberto Pardo, Gerardo Schneider
Software Engineering and Formal Methods - 2011
978-3-642-24690-6
Computer Communication Networks
Logics and Meanings of Programs
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Software Engineering and Formal Methods - 2011
978-3-642-24690-6
Computer Communication Networks
Logics and Meanings of Programs
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science