Refine Your Search
Book List
1
-
Formal methods for open object-based distributed systems / edited by Elie Najm, Jean-Bernard Stefani.
- 005.117 F723
- Chapman & Hall,
- 1997.
- London ; New York :