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 by Andreas Podelski,Byron Cook Language German Published in 2008 Publisher Springer Pages 416 ISBN 9783540834823 Subjects Computers & Technology Programming Specialty Boutique New, Used & Rental Textbooks Software Design, Testing & Engineering Programming Languages 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 by Andreas Podelski,Byron Cook Language German Published in 2008 Publisher Springer Pages 416 ISBN 9783540834823 Subjects Computers & Technology Programming Specialty Boutique New, Used & Rental Textbooks Software Design, Testing & Engineering Programming Languages
