Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems Athens, Greece), IFIP Working Group 6.1.
Other Authors: Steffen, Martin., Zavattaro, Gianluigi.
Format: Book
Language:English
Published: Berlin ; New York : Springer, 2005.
Series:Lecture notes in computer science ; 3535.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available