ISBN 0262032708 books & textbook

Model Checking

Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled

Mit Pr /1999-01-07 Hardcover / 330 Pages
isbn-10: 0262032708 / isbn-13: 9780262032704