Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Di

by Bart Jacobs

Book Overview

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1475752687
• ISBN13: 9781475752687
• Release Date: March 2013
• Publisher: Springer
• Length: 284 Pages
• Weight: 1.46 lbs.
• Dimensions: 0.6" x 8.3" x 11.0"