//]]>
Item type | Location | Call Number | Status | Date Due |
---|---|---|---|---|
Book | AUM Main Library English Collections Hall | 004.36 I612 (Browse Shelf) | Available | |
Book | AUM Main Library English Collections Hall | 004.36 I612 (Browse Shelf) | Available | |
Book | AUM Main Library English Collections Hall | 004.36 I612 (Browse Shelf) | Available |
004.350151135 C744Concurrency, compositionality, and correctness : | 004.36 C647Cloud architecture and engineering / | 004.36 G562Data management in grid and peer-to-peer systems : | 004.36 I612Formal methods for open object-based distributed systems : | 004.36 I612Formal methods for open object-based distributed systems : | 004.36 I612Formal methods for open object-based distributed systems : |
"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref.
Includes bibliographical references and index.
Also issued online.
There are no comments for this item.