All Formats & Editions
1 - 2 of 2 results found
Formal Methods for Distributed Processing: A Su...
Edition Description
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 requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation,...
Edition Details
Format:Paperback
Language:English
ISBN:0521168759
Format: Paperback
Condition:
$
66.00
Formal Methods for Distributed Processing: A Su...
Edition Description
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 requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation,...
Edition Details
Format:Hardcover
Language:English
ISBN:0521771846
Format: Hardcover
Condition:
$
182.42
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
