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
Automated defect prevention : , best practices in software management / by Huizinga, Dorota. Publication: Hoboken, N.J. : Wiley-Interscience, 2007 . xxvi, 426 p. : 25 cm. Date:2007 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart