SlideShares tagged with coq
-
移籍トレード.pdf
移籍トレード.pdf6m ago, 14 views
6m ago, 14 views -
DockerでCoq インストール
DockerでCoq インストール7m ago, 149 views
7m ago, 149 views -
Is Sized Typing for Coq Practical?
Is Sized Typing for Coq Practical?7m ago, 31 views
7m ago, 31 views -
Understanding, Managing, and Reducing Cost of Quality
Understanding, Managing, and Reducing Cost of Quality1y ago, 76 views
1y ago, 76 views -
Cost of Quality (COQ) In Tamil
Cost of Quality (COQ) In Tamil1y ago, 146 views
1y ago, 146 views -
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation2y ago, 83 views
2y ago, 83 viewsLike SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation SlideShare. Save SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation SlideShare. Share SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation SlideShare. -
QIP minute
-
What is cost of quality and how to calculate it
What is cost of quality and how to calculate it3y ago, 63 views
3y ago, 63 views -
Homebrewによるソフトウェアの実装 (2)
Homebrewによるソフトウェアの実装 (2)4y ago, 396 views
4y ago, 396 views -
Coq
Coq5y ago, 30 views
5y ago, 30 views -
Cost of quality : CA Final : AMA Notes
Cost of quality : CA Final : AMA Notes5y ago, 314 views
5y ago, 314 views -
バグ0の資産を積み上げるための証明駆動開発入門
バグ0の資産を積み上げるための証明駆動開発入門5y ago, 1,089 views
5y ago, 1,089 views -
Challenges in blockchain certification (Nov 19, 2018 for TPP2018)
Challenges in blockchain certification (Nov 19, 2018 for TPP2018)5y ago, 390 views
5y ago, 390 views -
Deep Dive: Formal Methods with Dr. Leemon Baird | Hedera18
Deep Dive: Formal Methods with Dr. Leemon Baird | Hedera185y ago, 306 views
5y ago, 306 views -
Cost of QUALITY [QM]
Cost of QUALITY [QM]5y ago, 682 views
5y ago, 682 views -
Quality Costiong and Reporting in Cement Industry: Evidence from Bangladesh
Quality Costiong and Reporting in Cement Industry: Evidence from Bangladesh6y ago, 100 views
6y ago, 100 views -
[Basic 12] 関数型言語 / 型理論
[Basic 12] 関数型言語 / 型理論6y ago, 369 views
6y ago, 369 views -
Pharo Optimising JIT Internals
Pharo Optimising JIT Internals6y ago, 935 views
6y ago, 935 views
