ISBN 9781013271014 books & textbook
Computer Aided Verification
Chockler, Hana Weissenbacher, Georg
Saint Philip Street Press /2020-10-08 Hardcover / 554 Pages
isbn-10: 1013271017 / isbn-13: 9781013271014
Chockler, Hana Weissenbacher, Georg
Saint Philip Street Press /2020-10-08 Hardcover / 554 Pages
isbn-10: 1013271017 / isbn-13: 9781013271014