2008 Formal Methods in Computer-aided Design

2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers

Ainda sem avaliações

2008 · Inglês · Brochura

Adicionar à Estante

Avalie este livro

Exportar Diário de Leitura

Detalhes do Livro

Formato Brochura

Páginas 230 páginas

Idioma Inglês

Publicado jan 1, 2008

Editora IEEE

ISBN-10 1424427355

ISBN-13 9781424427352

Adicionar à Estante

Avalie este livro

Exportar Diário de Leitura