Formal Methods for Open Object-Based Distributed Systems: Volume 1

by

Write The First Customer Review

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object ...

Formal Methods for Open Object-Based Distributed Systems: Volume 1 1996, Springer

ISBN-13: 9780412797705

1996 edition

Hardcover

Select