Formal Methods for Open Object-Based Distributed Systems IV: Ifip Tc6/Wg6.1. Fourth International Conference on Formal Methods for Open Object-Based D 2000 Edition Contributor(s): Smith, Scott F. (Editor), Talcott, Carolyn L. (Editor) |
|
ISBN: 0792379233 ISBN-13: 9780792379232 Publisher: Springer OUR PRICE: $208.99 Product Type: Hardcover - Other Formats Published: August 2000 |
Additional Information |
BISAC Categories: - Computers | Programming - Object Oriented - Computers | Programming Languages - General |
Dewey: 005.117 |
LCCN: 00056231 |
Series: International Federation for Information Processing |
Physical Information: 0.94" H x 6.14" W x 9.21" (1.71 lbs) 422 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus on the following specific technologies:
|