Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Di Softcover Repri Edition Contributor(s): Jacobs, Bart (Editor), Rensink, Arend (Editor) |
|
ISBN: 1475752687 ISBN-13: 9781475752687 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: March 2013 |
Additional Information |
BISAC Categories: - Medical - Computers | Programming - Object Oriented - Computers | Systems Architecture - General |
Dewey: 005.117 |
Series: IFIP Advances in Information and Communication Technology |
Physical Information: 0.61" H x 8.25" W x 11" (1.46 lbs) 284 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
|