Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, Janu, Book 2294, (Paperback)

Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, Janu, Book 2294, (Paperback) Author: Springer ISBN: 9783540436317 Format: Paperback Publication Date: 2002-04-24 Page Count: 331

Shipping & Returns

Product image 1
Price unavailable
Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, Janu, Book 2294, (Paperback)
$121.00