//]]>
Formal methods for open object-based distributed systems : , 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /   Publication: Berlin ; Springer, 2005 . x, 321 p. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart
Formal techniques for computer systems and business processes : , European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /   Publication: New York, NY : Springer, 2005 . xiii, 348 p. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart

Languages: 
English |
العربية