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 / edited by Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri.
Material type:
- 0792384296 (hardcover)
Item type | Current library | Home library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
LIC(LABUAN INTERNATIONAL CAMPUS) LIC Stack | LIC(LABUAN INTERNATIONAL CAMPUS) LIC Stack | QA76.9 . D5I573 (Browse shelf(Opens below)) | 1 | Available | 1000054550 |
Includes bibliographical references.