Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 Inteational Conference Tokyo, Japan, June 10-13, 2008 .. / Programming and Software Engineering)
Hardcover: 344 pages
Publisher: Springer (May 27, 2008)
Language: English
ISBN-10: 3540688544