Close modal Add to library You don't have any lists yet. Create one in My Library. Go to My Library Set reading status Buy on Amazon Close modal Add to library You don't have any lists yet. Create one in My Library. Go to My Library Set reading status Buy on Amazon Details Summary Discussions Reviews Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings by Bernhard Steffen , Giorgio Levi Language English Published in 2003 Publisher Springer Pages 325 ISBN 9783540246220 Subjects Programming Mathematics Computer Science Computers Discrete Mathematics Software Development & Engineering Information Technology Compilers Add Discussion No discussions yet for this book. Close modal Delete Discussion Are you sure you want to delete this discussion? This action cannot be undone. Cancel Delete Add review No reviews yet. Be the first to review this book! Close modal Delete Review Are you sure you want to delete this review? This action cannot be undone. Cancel Delete
Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings by Bernhard Steffen , Giorgio Levi Language English Published in 2003 Publisher Springer Pages 325 ISBN 9783540246220 Subjects Programming Mathematics Computer Science Computers Discrete Mathematics Software Development & Engineering Information Technology Compilers
