Abstraction refinement for large scale model checking [Documento electrónico] / Gary D. Hachtel, Fabio Somenzi, Chao Wang
Publication: New York : Springer, 2006Description: E-bookISBN: 978-0-387-34600-7.Subject - Topical Name: Electrónica | Sistema CAE | Circuitos eléctricos | Computadores Online Resources:Acesso online| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Ebook | Biblioteca do ISEL | Available |
Total holds: 0
Acesso ao documento electrónico no ISEL
There are no comments for this item.