Barnes and Noble
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / Edition 1
Unfortunately, this item is no longer available, but we found some similar items you might like.