Barnes and Noble
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings / Edition 1
Unfortunately, this item is no longer available, but we found some similar items you might like.