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 /
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book c...
Full description
Bibliographic Details
| Corporate Authors: |
International Conference on Formal Methods for Open Object-Based Distributed Systems Florence, Italy,
SpringerLink (Online service),
International Federation for Information Processing. Technical Committee 6. |
|---|
| Other Authors: |
Ciancarini, Paolo, 1959-,
Fantechi, Alessandro,
Gorrieri, Roberto |
|---|
| Format: | Conference Proceeding
eBook
|
|---|
| Language: | English |
|---|
| Published: |
Bostons :
Kluwer Academic,
[1999]
|
|---|
| Series: | International Federation for Information Processing (Series) ;
10.
|
|---|
| Subjects: | |
|---|
| Online Access: | Connect to the full text of this electronic book
|
|---|