-
-
Scalable Hardware Verification with Symbolic Simulation
-
Bertacco, Valeria
-
出版社：Springer Verlag
出版年月：2005年 12月
装丁：HRD
言語：ENG
-
税込価格：
23,579円
海外在庫あり
通常２～５週間で出荷
-
-
Scalable Hardware Verification with Symbolic Simulation
-
Bertacco, Valeria
-
出版社：Springer
出版年月：2010年 02月
装丁：PAP
言語：ENG
-
税込価格：
24,239円
海外在庫あり
通常２～５週間で出荷
-
-
Post-Silicon and Runtime Verification for Modern Processors
-
Wagner, Ilya
Bertacco, Valeria
-
出版社：Springer Verlag
出版年月：2014年 09月
装丁：PAP
言語：ENG
-
税込価格：
35,369円
海外在庫あり
通常２～５週間で出荷
-
-
Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .8244
-
Herausgegeben von Bertacco, Valeria
Legay, Axel
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2013年 10月
装丁：PAP
版次：2013. 2013. xx
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Functional Design Errors in Digital Circuits
Diagnosis Correction and Repair
Lecture Notes in Electrical Engineering
-
Chang, Kai-hui
Markov, Igor L.
Bertacco, Valeria
-
出版社：Springer
出版年月：2010年 10月
装丁：PAP
言語：ENG
-
税込価格：
35,369円
海外在庫あり
通常２～５週間で出荷
