Certified Programming with Dependent Type

Name: Certified Programming with Dependent Type
Rating: 4.5 (41 reviews)
Author: applesea39815

上传者：applesea39815 2019-09-28 00:16:58上传 PDF文件 1.74MB 热度 41次

学习coq用的书

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Certified Programming with Dependent Type

学习coq用的书

大小：0B | 2019-09-28 00:16:58
认证的依赖类型编程Coq Proof Assistant的实用介绍Certified Programming with Dependent Types A

这本教科书涵盖了带有Coq证明助手的实际工程。重点是使用依赖类型和脚本化的证明自动化来构建具有正确性...

大小：0B | 2020-05-30 16:44:34
Type Theory and Functional Programming

大小：0B | 2019-01-02 11:01:43
Type Theory & Functional Programming

大小：0B | 2019-01-02 11:01:40
Programming In Type Theory.pdf

ProgrammingInTypeTheory.pdf英文版

大小：0B | 2019-06-23 07:13:28
advanced topic in type and programming language

这本是在基础上的延续,书中详细阐述了类型系统在编程语言中高阶话题,包括程序安全等等,对于想深入了解计...

大小：9.07MB | 2020-09-18 16:06:25
Delay range dependent Robust Stability Criteria for Uncertain Neutral type Lur e

Delay-range-dependent Robust Stability Criteria fo...

大小：245KB | 2021-02-07 19:34:13
Certified

Certified

大小：0B | 2020-05-26 20:38:35
libcurl dependent.zip

libcurl的依赖库，在我的博客中引用《使用libcurl和jsoncpp实现JSON数据网络GE...

大小：0B | 2019-06-26 10:29:23
Combining dependent bodies of evidence

Dempster’s combination rule can only be appliedto ...

大小：662KB | 2021-02-09 19:32:33
编程语言的类型系统Type Systems for Programming Languages

这些讲义提供了类型理论在编程语言设计和实现中的作用的统一说明。重点是将类型用作分析编程语言功能并研...

大小：773KB | 2020-08-30 04:25:50
类型理论与函数式编程Type Theory and Functional Programming

本书提供了类型理论的形式系统,并开发了程序和证明的示例。从功能编程的角度来看,本书强调了系统语言与...

大小：103B | 2020-08-22 23:07:34
AWS SysOps Certified

AWSSysOps证书学习资料，对于初学AWS并要拿到SysOps这个证书的小伙伴是比较有用的。

大小：0B | 2019-05-25 10:29:42
Dependent uncertain linguistic OWA operator

依赖型不确定语言OWA算子，卫贵武，，本文基于DOWA和DUOWA算子,在不确定语言环境下提出了依赖...

大小：206KB | 2020-07-17 12:57:56
Time Dependent Problems and Difference Methods

Time dependent problems frequently pose challenges...

大小：0B | 2018-12-19 13:30:37
zd2.6.77.18_certified

班马条码打印机驱动，自动解压安装。Windows 2003, Windows XP, Windows...

大小：0B | 2018-12-26 15:29:02