邹雪城,雷铭,邹志革等编著2007 年出版487 页ISBN:7030194519
本书基于完整项目,系统讲述集成电路设计方法和设计技巧。本书以系统级芯片LCD控制器为例,以数模混合VLSI电路设计流程为线索,系统全面、深入浅出地讲述了VLSI的系统设计方法,介绍了其设计平台及流行EDA软件。全...
FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN:0444853944
Introduction To The Formal Design of Real-Time Systems
1999 年出版461 页ISBN:3540761403
CURRENT TRENDS IN PROGRAMMING METHODOLOGY Software Specification and Design Vol.1
RAYMOND T.YEH2222 年出版0 页ISBN:
DESIGN SPECIFICATION FOR CONCRETE ARCH DAMS
SHANGHAI INVESTIGATION2015 年出版140 页ISBN:9787517029571
本书为适应混凝土拱坝建设发展的需要,规范混凝土拱坝设计要求,使工程设计做到安全适用、经济合理、技术先进、质量保证,特制定本规范。本规范共11章和3个附录,其主要内容包括:总则,主要术语与符号,拱坝布置,水......
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
程序开发原理 抽象、规格与面向对象设计 abstraction, specification, and obiect-oriented design
(美)Barbara Liskov,(美)John Guttag著;裘健译2006 年出版275 页ISBN:7121032627
本书由著名编程理论专家所著,是美国麻省理工学院电气工程与计算机科学系的编程实践课程教材。书中讨论了怎样构建具有高可靠性、易于维护和能得以快速修改的软件开发方法,强调了软件的模块化开发思想,用丰富的...