A Unifying Framework for Structured Analysis and Design Models:An Approach using Initial Algebra Sem
1991 年出版179 页ISBN:0521392962
Digital design and computer architecture Second Edition = 数字设计和计算机体系结构(英文版·第2版)
David Money Harris ; Sarah L. Harris2014 年出版640 页ISBN:7111448105
INFORMATION SYSTEMS DEVELOPMENT:PRINCIPLES OF COMPUTER-AIDED SOFTWARE ENGINEERING
ALBERT F.CASE1986 年出版238 页ISBN:
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059