Formal Methods for Open Object-Based Distributed Systems V: Ifip Tc6 / Wg6.1 Fifth International Conference on Formal Methods for Open Object-Based Di 2002 Edition Contributor(s): Jacobs, Bart (Editor), Rensink, Arend (Editor) |
|
ISBN: 0792376838 ISBN-13: 9780792376835 Publisher: Springer OUR PRICE: $104.49 Product Type: Hardcover - Other Formats Published: March 2002 Annotation: Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:
|
Additional Information |
BISAC Categories: - Medical - Computers | Programming - Object Oriented - Computers | Systems Architecture - General |
Dewey: 005.117 |
LCCN: 2002016018 |
Series: Ifip International Federation for Information Processing |
Physical Information: 0.9" H x 6.98" W x 8.98" (1.38 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:
|