2008 Formal Methods in Computer-aided Design

2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers

Ancora nessuna valutazione

2008 · Inglese · Brossura

Aggiungi allo scaffale

Valuta questo libro

Esporta diario dei libri

Dettagli del libro

Formato Brossura

Pagine 230 pagine

Lingua Inglese

Pubblicato gen 1, 2008

Editore IEEE

ISBN-10 1424427355

ISBN-13 9781424427352

Aggiungi allo scaffale

Valuta questo libro

Esporta diario dei libri