by: Myungchul Kim · Byoungmoon Chin · Sungwon Kang · Danhyung Lee
Hardcover
ISBN: 978-0-7923-7470-1
ISBN-10: 0-7923-7470-3
Springer · 2001
|
|
by: Myungchul Kim · Byoungmoon Chin · Sungwon Kang · Danhyung LeeHardcover
ISBN: 978-0-7923-7470-1 ISBN-10: 0-7923-7470-3 Springer · 2001 |
| See also (possibly by other authors): | ||
| 2008 | Paperback | Formal Techniques for Networked and Distributed Systems - Forte 2005 |