Formal methods for open object-based distributed systems (e-book)

Barthe, Gilles

Formal methods for open object-based distributed systems (e-book) - Berlin Springer 2008 - Lecture Notes in Computer Science (LNCS) v.5051 .

978-3-540-68863-1

Powered by Koha