Software Engineering and Formal Methods
Steve Counsell, Manuel N��ez
Software Engineering and Formal Methods - Springer 2014 - Lecture Notes in Computer Science .
9783319050324
Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters
Software Engineering and Formal Methods - Springer 2014 - Lecture Notes in Computer Science .
9783319050324
Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters