2008 Formal Methods in Computer-aided Design

2008 Formal Methods in Computer-aided Design

Alessandro Cimatti , Institute of Electrical and Electronics Engineers

尚無評分

2008 · 英語 · 平裝書

評價這本書

出口書籍日誌

書籍詳情

格式平裝書

頁數 230 頁

語言英語

已出版 Jan 1, 2008

出版商 IEEE

ISBN-10 1424427355

ISBN-13 9781424427352

評價這本書

出口書籍日誌