A Unifying Framework for Structured Analysis and Design Models:An Approach using Initial Algebra Sem
1991 年出版179 页ISBN:0521392962
New Frontiers In Information And Software As Services : Service And Application Design Challenges In
Divyakant Agrawal; K. Selcuk Candan; Wen-Syan Li (Eds.)2011 年出版301 页ISBN:3642192937
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