搜索结果
找到约 13 项符合
Formal 的查询结果
其他书籍 英文版的Formal method系统分析标准和设计。
英文版的Formal method系统分析标准和设计。
嵌入式/单片机编程 安全嵌入式系统的设计技巧.pdf The Use of Formal Methods
安全嵌入式系统的设计技巧.pdf
The Use of Formal Methods
Java编程 SOME BACKGROUND ON DESIGN PATTERNS The term “design patterns” sounds a bit formal to the uninitiate
SOME BACKGROUND ON DESIGN PATTERNS
The term “design patterns” sounds a bit formal to the uninitiated and
can be somewhat off-putting when you first encounter it. But, in fact, design
patterns are just convenient ways of reusing object-oriented code between
projects and between programmers. The ide ...
Java编程 java interpreter in formal language and translators
java interpreter in formal language and translators
技术书籍 Algorithms(算法概论)pdf
This book evolved over the past ten years from a set of lecture notes developed while teaching
the undergraduate Algorithms course at Berkeley and U.C. San Diego. Our way of teaching
this course evolved tremendously over these years in a number of directions, partly to address
our students' ...
文件格式 四套Latex模版
四套Latex模版，分别是：
A good model for writing Curriculum Vitae；
An excellent package to design slides using LaTeX；
A strong package to make floating figure and table style；
For writing formal letters。
文件格式 Data_Structures_and_Algorithms - These notes accompany Data Structures and Algorithms II. The course
Data_Structures_and_Algorithms - These notes accompany Data Structures and Algorithms II. The course, to a large extent, follows on from
Data Structures and Algorithms I. However, while DS&A I focused on fundamental datastructures, DS&A II
will focus on practical algorithms, applicable to a wide ran ...
软件工程 UML2.1.2最新标准
UML2.1.2最新标准，OMG Document Number: formal/2007-11-04。对研究UML最新标准有很好的参考价值。
嵌入式/单片机编程 The widespread use of embedded systems mandates the development of industrial software design method
The widespread use of embedded systems mandates the development of industrial software design methods, i.e. computer-aided design and engineering of embedded applications using formal models (frameworks) and standardized prefabricated components, much in the same way as in other mature areas of engi ...
其他书籍 Advanced ASIC Chip Synthesis Using Synopsys Design Compiler. This second edition of this book descr
Advanced ASIC Chip Synthesis Using Synopsys Design Compiler. This second edition of this book describes the advanced concepts and
techniques used towards ASIC chip synthesis, physical synthesis, formal
verification and static timing analysis, using the Synopsys suite of tools.