Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
COMPUTER-AIDED ARCHITECTURAL GRAPHICS
DANIEL L.RYAN1983 年出版433 页ISBN:0824719018