Verification of Sequential and Concurrent Programs Second EditionPDF电子书下载
- 电子书积分：13 积分如何计算积分？
- 作 者：
- 出 版 社：Inc.
- 出版年份：1997
- ISBN：0387948961
- 页数：364 页
图书介绍：
《Verification of Sequential and Concurrent Programs Second Edition》目录
标签：
相关图书
作者其它书籍
出版社其它书籍