"Formal Techniques for Distributed Objects, Components, and Systems"
Erika Abraham
"Formal Techniques for Distributed Objects, Components, and Systems" - 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783662436134
Computer Science
Computer Science Logic and Foundations of Programming
"Formal Techniques for Distributed Objects, Components, and Systems" - 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783662436134
Computer Science
Computer Science Logic and Foundations of Programming