Types for Proofs and Programs pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
Meinhardt, Holger Ingmar; Callaghan, P.; Luo, Z.
2002-3
242
$ 101.69
9783540432876
图书标签:
喜欢 Types for Proofs and Programs 的读者还喜欢
下载链接在页面底部
点击这里下载
发表于2024-11-24
Types for Proofs and Programs epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Types for Proofs and Programs epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Types for Proofs and Programs pdf epub mobi txt 电子书 下载 2024
图书描述
This book constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. All current issues on type theory and type systems and their applications to programming, systems design, and proof theory are addressed.
著者简介
图书目录
Types for Proofs and Programs pdf epub mobi txt 电子书 下载
用户评价
评分
评分
评分
评分
评分
读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
Types for Proofs and Programs pdf epub mobi txt 电子书 下载 2024
分享链接
相关图书
-
Software Process Technology: 8th European Workshop, EWSPT 2001 Witten, Germany, June 19-21, 2001 Pro pdf epub mobi txt 电子书 下载 -
Integer Programming and Combinatorial Optimization 自动时间表生成的实践与理论III pdf epub mobi txt 电子书 下载
-
STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pin pdf epub mobi txt 电子书 下载
-
Hybrid Systems pdf epub mobi txt 电子书 下载
-
Weimar Intellectuals and the Threat of Modernity pdf epub mobi txt 电子书 下载
-
网络与普及计算趋向 pdf epub mobi txt 电子书 下载
-
Recent Advances in Intrusion Detection pdf epub mobi txt 电子书 下载
-
West to Far Michigan pdf epub mobi txt 电子书 下载
-
Computational Discrete Mathematics pdf epub mobi txt 电子书 下载
-
Energy Minimization Methods in Computer Vision and Pattern Recognition pdf epub mobi txt 电子书 下载
-
What Do You Mean, She's Just a Dog? pdf epub mobi txt 电子书 下载
-
Model Checking Software pdf epub mobi txt 电子书 下载
-
What I Believe pdf epub mobi txt 电子书 下载
-
Computer Aided Verification pdf epub mobi txt 电子书 下载
-
OpenMP Shared Memory Parallel Programming pdf epub mobi txt 电子书 下载
-
Discrete and Computational Geometry: Japanese Conference, JCDCG 2000, Tokyo, Japan, November, 22-25, pdf epub mobi txt 电子书 下载
-
Computational Science - ICCS 2001: International Conference, San Francisco, CA, USA, May 28-30, 2001 pdf epub mobi txt 电子书 下载
-
What is Philosophy? pdf epub mobi txt 电子书 下载
-
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources: Semi-Au pdf epub mobi txt 电子书 下载
-
Information Processing in Medical Imaging pdf epub mobi txt 电子书 下载
