Formal methods for open object-based distributed systems (e-book)
Steffen, Martin
Formal methods for open object-based distributed systems (e-book) - Berlin Springer 2005 - Lecture Notes in Computer Science (LNCS) v.3535 .
978-3-540-31556-8
Formal methods for open object-based distributed systems (e-book) - Berlin Springer 2005 - Lecture Notes in Computer Science (LNCS) v.3535 .
978-3-540-31556-8