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 devoted to methods and tools for specifying distributed systems. This technical volume offers structured material for readers and students interested in the formal description of distributed computing systems, and forms part of the Lecture Notes in Computer Science series.
About This Book
Distributed Systems: Methods and Tools for Specification is an advanced course focused on the specification of distributed systems.
The book presents methods and tools for describing distributed computing systems in a structured and technical context.
Part of the Lecture Notes in Computer Science series, it is suited to readers seeking course-level material on distributed systems specification.
Reviews
No reviews yet. Be the first to review this book!