您的位置： 首页 » 图书频道 > 图书 > 小说 > 科学技术 > FME 2001: Formal Methods for Increasing Software ProductivityFME 2001：提高软件生产率的形式方法
| 网上商家 | 商家服务 | 商品规格 | 价格 | 购买信息 |
 187条评论
|
|
FME 2001: Formal Methods for Increasing Software ProductivityFME 2001：提高软件生产率的形式方法 点击数：1000 |
351.70元 | 去看看 |
8条评论
|
|
FME 2001(英文原版进口) 点击数：1000 |
630.00元 | 去看看 |
0条评论
|
|
Fme 2001 点击数：1000 |
838.43元 | 去看看 |
950条评论
|
|
FME 2001(FME 2001：提高软件生产率的形式方法) 点击数：1000 |
93.50元 | 去看看 |
Sponser Links
FME 2001: Formal Methods for Increasing Software ProductivityFME 2001：提高软件生产率的形式方法产品介绍
| 类别 | 科学技术 |
| 作者 | JoseN.Oliveira，PamelaZave著 |
| 出版社 | 湖南文艺出版社 |
| ISBN | 3540417915 |
| 定价 | 703.39元 |
| 出版时间 | 2001-3-1 |
| 版次 | 1 |
| 页数 | 628 |
| 纸张 | 胶版纸 |
| 包装 | 平装 |
| 内容提要 | 在线阅读本书 |
| 目录 | Lightweight Formal MethodsReformulation:A Way to Combine Dynamic Properties and B Refinement Mechanized Analysis of Behavioral Conformance in the Eiffel Base LibrariesProofs of Correctness of Cache-Coherence ProtocolsModel-Checking Over Multi-valued LogicsHow to Make FDR Spin:LTL Model Checking of CSP by RefinementAvoiding State Explosion for Distributed Systems with TimestampsSecrecy-Preserving RefinementInformation Flow Control and Applications-Bridging a GapA Rigorous Approach to Modeling and Analyzing E-Commerce ArchitecturesA Formal Model for Reasoning about Adaptive QoS-Enabled MiddlewareA Programmin Model for Wide-Area ComputingA Formal Model of Object-Oriented Design and GoF DEsign PatternsValidation of UML MOdels Thanks to Z and LustreComponents Contracts and Connectors for the Unified Modelling Language UMLAn INtegrated Approachto Specifcation and Validation of Real-Time SystemsReal-Time Logic RevisitedImprovements in Bdd-Based Reachability Analysis of Timed AutomataSerialising Parallel Processes in a Hardware/Software Partitioning ContextVerifying Implementation RelationsAn Adequate Logic for Full LOTOSTowards a Topos Theoretic Foundation for the Irish School of Constructive MathematicsFaithful Translations among MOdels and SpecificationsComposing Contracts:An Adventure in Financial EngineeringFrom Complex Specifications to a Working Prototype A Protocol Engineering Case StudyCoverage Directed Generation of System-Level Test Cases for the Validation of a DSP SystemUsing Formal Verification Techniques to Reduce Simulation and Test EffortTransacted Memory for Smart Cards……Author Index |
选中与当前商品进行对比FME 2001: Formal Methods for Increasing Software ProductivityFME 2001：提高软件生产率的形式方法相关评论
暂无购买记录
FME 2001: Formal Methods for Increasing Software ProductivityFME 2001：提高软件生产率的形式方法相关新闻
