2008 Formal Methods in Computer-aided Design

2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers

Inga betyg ännu

2008 · Engelska · Pocketbok

Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal

Bokdetaljer

Format Pocketbok

Sidor 230 sidor

Språk Engelska

Publicerad jan 1, 2008

Förlag IEEE

ISBN-10 1424427355

ISBN-13 9781424427352

Lägg till på hyllan

Betygsätt denna bok

Exportera bokjournal