Programming Languages and Systems 2024 pdf epub mobi 电子书
简体网页||繁体网页
Programming Languages and Systems 2024 pdf epub mobi 电子书 著者简介
Programming Languages and Systems 电子书 图书目录
点击这里下载
发表于2024-11-24
Programming Languages and Systems 2024 pdf epub mobi 电子书
Programming Languages and Systems 2024 pdf epub mobi 电子书
Programming Languages and Systems 2024 pdf epub mobi 电子书
喜欢 Programming Languages and Systems 电子书 的读者还喜欢
Programming Languages and Systems 电子书 读后感
图书标签:
Programming Languages and Systems 2024 pdf epub mobi 电子书 图书描述
This book constitutes the refereed proceedings of the 11th European Symposium on Programming, ESOP 2002, held in Grenoble, France, in April 2002.
The 21 revised full papers presented together with an abstract of an invited paper were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on typing and modularity, programming paradigms, lambda calculus, program analysis applications, program analysis principles, and verification and analysis of distributed programs.
length: (cm)23.9 width:(cm)15.5
Programming Languages and Systems 2024 pdf epub mobi 电子书
Programming Languages and Systems 2024 pdf epub mobi 用户评价
Programming Languages and Systems 2024 pdf epub mobi 电子书
分享链接
Programming Languages and Systems 2024 pdf epub mobi 电子书 下载链接
相关图书
-
Programming Constraint Services 2024 pdf epub mobi 电子书 -
Formal and Natural Computing 2024 pdf epub mobi 电子书
-
Mathematical Foundations of Computer Science 2001 计算机科学的数学基础2001 2024 pdf epub mobi 电子书
-
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 2024 pdf epub mobi 电子书
-
Medical Data Analysis 医学数据分析 2024 pdf epub mobi 电子书
-
Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Aust 2024 pdf epub mobi 电子书
-
Evolutionary Trends of the Internet 因特网发展趋向 2024 pdf epub mobi 电子书
-
Where Credit is Due 2024 pdf epub mobi 电子书
-
Algorithms in Bioinformatics 2024 pdf epub mobi 电子书
-
Computer Aided Systems Theory - EUROCAST 2001 计算机辅助系统理论EUROCAST 2001 2024 pdf epub mobi 电子书
-
Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 200 2024 pdf epub mobi 电子书
-
Evolutionary Multi-Criterion Optimization: First International Conference, EMO 2001, Zurich, Switzer 2024 pdf epub mobi 电子书
-
Computational Linguistics and Intelligent Text Processing 2024 pdf epub mobi 电子书
-
Whistleblowing 2024 pdf epub mobi 电子书
-
Agent-Oriented Software Engineering II-面向代理的软件工程II 2024 pdf epub mobi 电子书
-
STACS 20012001年第18届年度计算机科学的理论问题讨论会文集 2024 pdf epub mobi 电子书
-
White Ghost 2024 pdf epub mobi 电子书
-
Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, H 2024 pdf epub mobi 电子书
-
Languages and Compilers for Parallel Computing: 13th International Workshop, LCPC 2000, Yorktown Hei 2024 pdf epub mobi 电子书
-
Self-Stabilizing Systems 自稳定系统 2024 pdf epub mobi 电子书
