LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING
DAVID GELERNTER ALEXANDRU NICOLAU DAVID PADUA1990 年出版553 页ISBN：0273088203
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS
1981 年出版349 页ISBN：044486279X
Programming Languages Design and Implementation Second Edition
1975 年出版604 页ISBN：013730580X
Hardware Description Languages and their Applications Specification
modelling1997 年出版350 页ISBN：
LANGUAGES IN COMPETITION DOMINANCE DIVERSITY AND DECLINE
RONALD WARDHAUGH1987 年出版280 页ISBN：
