DIGITAL SYSTEMS AND HARDWARE FIRMWARE ALGORITHMS
D.ERCEGOVAC TOMAS LANG1985 年出版838 页ISBN：
COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS
1981 年出版349 页ISBN：044486279X
Hardware Description Languages and their Applications Specification
modelling1997 年出版350 页ISBN：
FAULT TOLERANT AND FAULT TESTABLE HARDWARE DESIGN
PARAG K.LALA2222 年出版263 页ISBN：0133082482
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
WTO DISCIPLINES ON AGRICULTURAL SUPPORT SEEKING A FAIR BASIS FOR TRADE
DACID ORDEN2011 年出版494 页ISBN：9781107417106
