2008 Formal Methods in Computer-aided Design

2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers

Nog geen beoordelingen

2008 · Engels · Paperback

Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren

Boekdetails

Formaat Paperback

Pagina's 230 pagina's

Taal Engels

Gepubliceerd jan. 1, 2008

Uitgever IEEE

ISBN-10 1424427355

ISBN-13 9781424427352

Toevoegen aan Plank

Beoordeel dit boek

Boekjournaal exporteren