English
Beginner
Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim
Myungchul Kim,Byoungmoon Chin,Sungwon Kang,Danhyung Lee
2001
View book