英文版的Formal method系统分析标准和设计。
英文版的Formal method系统分析标准和设计。...
Formal技术资料
📦 资源总数：13
📄 技术文档：2
💻 源代码：385
🔌 电路图：2
📚 Formal全部资料 (13个)
安全嵌入式系统的设计技巧.pdf The Use of Formal Methods
安全嵌入式系统的设计技巧.pdf The Use of Formal Methods...
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 uninitiate...
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 th...
四套Latex模版
四套Latex模版，分别是： A good model for writing Curriculum Vitae； An excellent package to design slides us...
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...
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 method...
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 descr...