ISBN 9781475752663 books & textbook
Formal Methods for Open Object-Based Distributed Systems (IFIP Advances in Information and Communication Technology)
Ciancarini, Paolo Fantechi, Alessandro Gorrieri, Roberto
Springer /2013-01-17 Paperback / 448 Pages
isbn-10: 1475752660 / isbn-13: 9781475752663
