No images available for this book.
| Attribute | Details |
| BOOK TITLE | ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING |
| AUTHOR | WANG, CHAO, HACHTEL |
| PUBLISHER | SPRINGER |
| ISBN13 | 9780387341552 |
| SUBJECT | |
| YEAR OF PUBLICATION | 2006 |
| BINDING | HB |
| PRICE | € 129.99 |
| STOCK STATUS | IN STOCK |