2008 Formal Methods in Computer-aided Design

2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers

Aún sin calificaciones

2008 · Inglés · Tapa blanda

Añadir a la estantería

Califica este libro

Exportar diario de lectura

Detalles del libro

Formato Tapa blanda

Páginas 230 páginas

Idioma Inglés

Publicado ene. 1, 2008

Editorial IEEE

ISBN-10 1424427355

ISBN-13 9781424427352

Añadir a la estantería

Califica este libro

Exportar diario de lectura