| | Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings 2004 Edition (Lecture Notes in Computer Science,) | Steffen, Bernhard | Paperback | 3540208038 / 9783540208037 | 01/2004 | $52.24 |