語系
Bertacco, Valeria.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Post-silicon and runtime verification for modern processors
by:
Bertacco, Valeria.; SpringerLink (Online service); Wagner, Ilya.
(書目-語言資料,印刷品)
Functional design errors in digital circuits = diagnosis, correction and repair /
by:
Chang, Kai-hui.; SpringerLink (Online service); Bertacco, Valeria.; Markov, Igor L.
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Legay, Axel.; SpringerLink (Online service); Bertacco, Valeria.
(書目-語言資料,印刷品)
主題
Microprocessors
Software Engineering.
Integrated circuits
Artificial Intelligence (incl. Robotics)
Circuits and Systems.
Computer Communication Networks.
Digital integrated circuits
Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Logic Design.
Computer Hardware.
Computer Science.
Computer programs
Programming Languages, Compilers, Interpreters.
Software architecture
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.