Abstraction Refinement for Large Scale Model Checking - Paperback - 2014

Chao Wang, Gary D. (University of Colorado) Hachtel, Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking - Paperback - 2014 - 1
Estado : Novo
Vendido por
RiaEnglishBooks
4,6 4 435 vendas
País de expedição : Reino Unido
Colocar uma questão ao vendedor
Resumo

Year of publication: 2014
Pagination: 179 pages, biography
Format: Paperback
Serie: Integrated Circuits and Systems

136,42 €
Entrega pelo vendedor parceiro

Entrega Envio Contra Assinaturagratuito Entrega na morada indicada sem acompanhamento da entrega contra assinatura Entregue em 3 a 4 semanas

Abstraction Refinement for Large Scale Model Checking - Paperback - 2014
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