Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Book Overview

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0521168759
• ISBN13: 9780521168755
• Release Date: July 2011
• Publisher: Cambridge University Press
• Length: 492 Pages
• Weight: 1.86 lbs.
• Dimensions: 1.0" x 7.0" x 10.0"