Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)
by M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider
An advanced course covering methods and tools for the specification of distributed systems from leading experts in computer science.
About This Book
This volume presents an advanced course on methods and tools for the specification of distributed systems.
It is part of the Lecture Notes in Computer Science series, volume 190.
The content is contributed by recognized experts in the field.
Reviews
No reviews yet. Be the first to review this book!