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
Finna-arvio
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
Tallennettuna:
| Ulkoasu |
xii, 436 s |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Boston :
Kluwer Academic,
cop. 1999.
|
| Sarja | International Federation for Information Processing, 10. |
| Luokitus | |
| Aiheet | |
| Lisätiedot | edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri |
| Bibliografia |
Includes bibliographical references. |
| ISBN |
0-7923-8429-6 kovakantinen |
| Hae kokoteksti | |