ISBN 1475752687 books & textbook

Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based ... in Information and Communication Technology)

Jacobs, Bart Rensink, Arend

Springer /2013-03-21 Paperback / 296 Pages
isbn-10: 1475752687 / isbn-13: 9781475752687