原名:Automata Logics, and Infinite Games. A Guide to Current Research
作品简介:Издательство Springer, 2002, -355 pp.计算机科学的中心目标是将硬件和软件系统的开发建立在既牢固又实用的数学基础上。尤其是在构建反应式程序（例如 com）时，需要这样的科学基础。……
资源下载
包年VIP免费升级包年VIP
原名:Automata Logics, and Infinite Games. A Guide to Current Research
作品简介:Издательство Springer, 2002, -355 pp.计算机科学的中心目标是将硬件和软件系统的开发建立在既牢固又实用的数学基础上。尤其是在构建反应式程序（例如 com）时，需要这样的科学基础。……
