Books of Danhyung Lee

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
Published on: 2001
Beginner Venture Capital English

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The …

Formal methods Networked systems Distributed systems IFIP conference Myungchul Kim

Page of