Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书
简体网页||繁体网页
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书 著者简介
Theoretical Aspects of Computer Software 工程安全与可靠性 电子书 图书目录
点击这里下载
发表于2025-01-01
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书
喜欢 Theoretical Aspects of Computer Software 工程安全与可靠性 电子书 的读者还喜欢
Theoretical Aspects of Computer Software 工程安全与可靠性 电子书 读后感
图书标签:
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书 图书描述
在线阅读本书
This book constitutes the refereed proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS 2001, held in Sendai, Japan, in October 2001.
The book presents 21 selected and revised full papers. Also included are six invited papers plus one open lecture by internationally leading scientists. Among the topics addressed are automata theory, concurrency, control-flow analysis, lambda calculi, model checking and program logic.
length: (cm)23.3 width:(cm)15.4
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 用户评价
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书
分享链接
Theoretical Aspects of Computer Software 工程安全与可靠性 2025 pdf epub mobi 电子书 下载链接
相关图书
-
Vagueness and Contradiction 2025 pdf epub mobi 电子书 -
Consolidated Ada Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8 2025 pdf epub mobi 电子书
-
Functional Imaging and Modeling of the Heart 2025 pdf epub mobi 电子书
-
Vagueness and Contradiction 2025 pdf epub mobi 电子书
-
Machines, Computations, and Universality: Third International Conference, MCU 2001 Chisinau, Moldava 2025 pdf epub mobi 电子书
-
Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 2025 pdf epub mobi 电子书
-
Valiant Young Men 2025 pdf epub mobi 电子书
-
Valuing Professional Practice LL 2025 pdf epub mobi 电子书
-
Mobile Agents: 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceeding 2025 pdf epub mobi 电子书
-
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, A 2025 pdf epub mobi 电子书
-
Advances in Cryptology - ASIACRYPT 2001-密码学进展 - ASIACRYPT 2001 2025 pdf epub mobi 电子书
-
Victorian Testaments 2025 pdf epub mobi 电子书
-
Wavelet Analysis and Its Applications 2025 pdf epub mobi 电子书
-
New Frontiers in Artificial Intelligence 2025 pdf epub mobi 电子书
-
AI 2001 2025 pdf epub mobi 电子书
-
Computational Intelligence. Theory and Applications 计算智能、理论与应用 2025 pdf epub mobi 电子书
-
Embedded Software 嵌入式软件 2025 pdf epub mobi 电子书
-
Vision in Context 2025 pdf epub mobi 电子书
-
Protocols for Multimedia Systems 交互分布多媒体系统 2025 pdf epub mobi 电子书
-
Visions from the Past 2025 pdf epub mobi 电子书
