Formal Methods for Components and Objects
Elena Giachino, Reiner H�hnle, Frank S. Boer, Marcello M. Bonsangue
Formal Methods for Components and Objects - Springer 2013 - Lecture Notes in Computer Science .
9783642406157
Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Formal Methods for Components and Objects - Springer 2013 - Lecture Notes in Computer Science .
9783642406157
Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages