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

Powered by Koha