B方法与形式化软件开发技术研究

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

DNA芯片 B辑 数据和分析

在过去的25年里，现代DNA芯片技术已经发展到了惊人的水平，通过一次实验即可进行上百万次的测量。DNA芯片A辑和B辑是《酶学方法》系列丛书中的两卷内容，它的出版将会使分子生物学家们在进行DNA芯片实验设计、实...

世界风尚 室内空间与色彩 B

本书在综合考虑设计风格、实用配色方案、地域特征、功能类别等多种因素的基础上，从1000多个近期室内设计项目中精选出169个精彩案例。风格上囊括了亚、非、欧、拉丁、北美、澳洲等各种地域特色设计，功能类别...

現代数学レクチャーズB－4　線型代数学

MODERN ENGLISH EXERCISES FOR NON-NATIVE SPEAKERS PART 2：SENTENCES AND COMPLEX STRUCTURES SECOND E

中国野生动物精彩图片选 B卷 荒野传奇

本画册收录了中国国家地理2009年“荒野传奇”野生动物生态摄影大赛的精彩作品旨在以不同的视角展现了中国丰富的野生动物种类，凝固在自然环境下野生动物的精彩舞姿。...

艳阳下的谋杀案·死亡约会·A·B·C谋杀案

全国高等学校英语应用能力考试 B级 最新精编试卷集

本书是高等学校应用能力考试（B级）的考试方法、技巧，用试卷精解帮助考生提高考试的过关率。

METHODS IN ENZYMOLOGY VOLUME 73 IMMUNOCHEMICAL TECHNIQUES PART B

B-1轰炸机 迄今为止最复杂的战机

本书介绍了从未透露过的B-1飞机机械系统、电气系统和制导武器的细节情况，包括从空军培训和作战手册、设计文件和许多未发表过的照片中获得的插图。...