ISBN 1475752644 books & textbook
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology)
Bolognesi, Tommaso Latella, Diego
Springer /2013-02-28 Paperback / 432 Pages
isbn-10: 1475752644 / isbn-13: 9781475752649
