ISBN 0387259473 books & textbook

Constraint-Based Verification

Yuan, Jun Pixley, Carl Aziz, Adnan

Springer /2006-01-13 Hardcover / 254 Pages
isbn-10: 0387259473 / isbn-13: 9780387259475