Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /   Publication: New York : Springer, 2010 . x, 375 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced parallel processing technologies : , 6th international workshop, APPT 2005, Hong Kong, China, October 27-28, 2005 : proceedings /   Publication: Berlin : Springer, 2005 . xiv, 526 p. : 24 cm. Date:2005 Availability: Copies available: AUM Main Library (3),
Actions: Add to Cart