Myungchul Kim, Byoungmoon Chin, «Formal Techniques for Networked and Distributed Systems»
Springer | ISBN: 0792374703 | 2001 | PDF | 472 pages | 3.83 MB
This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems.