Pragmatic Equivalence and Safety Checking in Cryptol
Toreducethecostofdeveloping,certifying,anddeployingcryptographicapplications
用户评论
推荐下载
-
Pragmatic.SQL.Antipatterns
Each chapter in this book helps you identify, explain, and correct a unique and dangerous antipatter
28 2018-12-26 -
the pragmatic programmer编程实践
the pragmatic programmer, 很好的一本书,每个程序员都可以看看。
6 2021-04-28 -
Pragmatic_Ajax.pdf
一本介绍Ajax的书籍,感觉不错,通过实例介绍Ajax,深入浅出。
9 2021-04-24 -
pragmatic scala2.11
pragmatic scala
28 2020-07-25 -
model checking_E.M Clarke
Modelcheckingisatechniqueforverifyingfinitestateconcurrentsystemssuchassequentialcircuitdesignsandco
41 2019-05-28 -
abstraction and refinement for large scale model checking
关于抽象和精化方法的一本书，其中还有关于模型检验基础知识的介绍，LTL和CTL的介绍。
40 2019-06-26 -
ajax编程指南Pragmatic_Bookshelf_Pragmatic_Ajax_A_Web_2_0_Primer
ajax编程指南 Pragmatic_Bookshelf_Pragmatic_Ajax_A_Web_2_0_Primer
6 2021-04-18 -
Improving the Accuracy of Single Source Equivalence Principle Algorithm by Using
Improving the Accuracy of Single-Source Equivalence Principle Algorithm by Using Tangential Field Pr
10 2021-02-08 -
Generalized Single Source Tangential Equivalence Principle Algorithm for Analysi
Generalized Single-Source Tangential Equivalence Principle Algorithm for Analysis of Array Structure
7 2021-02-08 -
code for Large Scale Metric Learning from Equivalence Constraints
codeforLargeScaleMetricLearningfromEquivalenceConstraints
24 2019-07-18
暂无评论