ebook img
Author:Oscar Nierstrasz (auth.)Paolo CiancariniAlessandro FantechiRobert Gorrieri (eds.)
Language:English
Release year:1999
File size:16.051 MB
Number of page:437

Similar Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy