注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 混沌和随机数的生成（英文）

  2. Chaos and Random Number Generation, written by Christopher F.Woodcock and Nigel P.Smart.

  3. 所属分类：专业指导

    • 发布日期：2008-10-10
    • 文件大小：242688
    • 提供者：kane_zl

  1. Development Process of Distributed Embedded Systems using VDM

  2. This document is intended to provide readers who already have experience with general VDM concepts from language manuals [LangManPP] or books [Fitzgerald&05] and/or courses and it is also assumed that the reader has general knowledge about concepts

  3. 所属分类：其它

    • 发布日期：2015-02-26
    • 文件大小：1048576
    • 提供者：sbren

  1. Using Z: Specification, Refinement and Proof

  2. "Using Z: Specification, Refinement and Proof" - J. Woodcock and J. Davies Prentice Hall, 1994. 英文版

  3. 所属分类：讲义

    • 发布日期：2018-06-08
    • 文件大小：2097152
    • 提供者：driftmrd