Abstraction Refinement for Large Scale Model Checking - Paperback - 2014
Chao Wang, Gary D. (University of Colorado) Hachtel, Fabio Somenzi
Resumo
Year of publication: 2014
Pagination: 179 pages, biography
Format: Paperback
Serie: Integrated Circuits and Systems
Abstraction Refinement for Large Scale Model Checking -...
Resumo
Year of publication: 2014
Pagination: 179 pages, biography
Format: Paperback
Serie: Integrated Circuits and Systems
Publicidade
Avaliações dos nossos clientes
Abstraction Refinement for Large Scale Model Checking - Paperback - 2014
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag New York Inc.
- Dimensão
-
235 x 155 x 11
- Peso
-
308
- Tema
-
Electrical engineering|Circuits & components
- Origem
-
United States
- EAN
-
9781489993953
Publicidade
Publicidade