Verification of Sequential and Concurrent Programs Second Edition 相关电子书下载

BRUCE L.EVATT RICHARD F.LEVINE NEIL T.WILLIAMS2222 年出版349 页ISBN：0444005854

刘德萍，陈小兵，闫莹，张雷等编著2004 年出版484 页ISBN：7505398717

Liquid Edition（以下简称Edition ）是品尼高公司出品的一套完整的专业DV编辑软件。Edition独有的子像素图像处理确保所有特技，滤镜和抠像的超高质量。与其它软件不同的是Edition的后台处理功能使你能真正实现多...

（美）Herbert Schildt著；鄢爱兰，鹿江春等译2006 年出版756 页ISBN：7302120218

本书是世界级程序设计大师Hervert Schildt的作品，全面介绍了Java语言、Java标准库和Java开发环境。全书从Java语言的基础知识入手，内容涵盖了J2SE 5中的新增特性，如泛型、自动装箱、枚举、元数据、开发类库等...

1945 年出版244 页ISBN：

1973 年出版336 页ISBN：

1988 年出版416 页ISBN：

1996 年出版659 页ISBN：

1923 年出版283 页ISBN：

2222 年出版0 页ISBN：

2222 年出版0 页ISBN：