Formal Techniques for Networked and Distributed Systems - Forte 2008: 28th Ifip Wg 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceed

By Keiichi Yasumoto

Book Overview

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540688544
• ISBN13: 9783540688549
• Release Date: May 2008
• Publisher: Springer
• Length: 344 Pages
• Weight: 1.15 lbs.
• Dimensions: 0.8" x 6.0" x 9.2"