Computer Aided Verification

Computer Aided Verification (ISBN-13: 9781013270994 and ISBN-10: 1013270991), written by authors Georg Weissenbacher, Hana Chockler, was published by Saint Philip Street Press in 2020. With an overall rating of 3.9 stars, it's a notable title among other books. You can easily purchase or rent Computer Aided Verification (Hardcover) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.