非人世界漫游指南

本书为幻想小说。主人公杰夫读书无数，在私人生活上却纯属低能，拿到第十四个博士学位毕业后，他误打误撞住进了一栋非人公寓，与一群形形色色，千奇百怪的非人打成一片，非人们来自另外的世界，各具奇异的特质与本领......

验证 爱之图谱

软件验证与确认

本书系统介绍了武器装备软件的设计与分析的理论、技术，既有理论方法介绍，又有应用实例，为装备的软件可靠性设计与验证提供了技术指导。...

测试性设计分析与验证

本书系统介绍了装备的测试性设计与验证的理论、技术，既有理论方法介绍，又有应用实例，为装备的维修性设计与验证提供了技术指导。

集成电路芯片制造实用技术

面向对象软件的形式验证技术

本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。

安全性设计分析与验证

本书介绍了安全性分析、安全性度量与要求、安全性设计、软件安全性设计与分析和安全性验证等。并附有国内外相关标准以便查询。

验证 爱之图谱

本书是当代诗人吉雅泰第三部爱情诗集。主要有120首小诗构成。本书分为5部分，延续作者热烈的情感，可以说是最纯、最美的爱情诗集。爱情同时也是个折磨人的东西，让你痛彻心扉，痛苦不已。感觉作者写的每首小诗都写...

Web服务组合建模与验证

本书主要研究方向为对有色Petri网进行了扩展，增加了语义和非功能属性标注，提出了语义Petri网模型来对Web服务及其组合进行形式化建模，并用Petri网标记语言PNML对其进行描述。...

安全协议原理与验证

本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BA...