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
Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059
Mission-Critical and Safety-Critical Systems Handbook Design and Development for Embedded Applicatio
Kim Fowler2010 年出版578 页ISBN: