ISBN 3540152164 books & textbook
Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)
Alford, M.W. Ansart, J.P. Hommel, G. Lamport, L. Liskov, B. Mullery, G.P. Schneider, F.B. Paul, Manfred Siegert, H.J.
Springer /1985-04-01 Paperback / 584 Pages
isbn-10: 3540152164 / isbn-13: 9783540152163
