亚洲欧美第一页_禁久久精品乱码_粉嫩av一区二区三区免费野_久草精品视频

蟲蟲首頁| 資源下載| 資源專輯| 精品軟件
登錄| 注冊

您現在的位置是:蟲蟲下載站 > 資源下載 > 電子書籍 > * Explains process algebra and protocol specification using &#181 CRL, a language developed to combi

* Explains process algebra and protocol specification using &#181 CRL, a language developed to combi

資 源 簡 介

* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types * Text is supported throughout with examples and exercises * Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author s website

相 關 資 源

主站蜘蛛池模板: 广丰县| 清镇市| 皮山县| 邯郸县| 泸溪县| 科技| 贺州市| 嘉祥县| 称多县| 新邵县| 湟源县| 辉南县| 林州市| 全南县| 西乡县| 资溪县| 靖边县| 家居| 新蔡县| 湾仔区| 临湘市| 白水县| 宿松县| 平南县| 德阳市| 嘉峪关市| 沅陵县| 镇坪县| 舒兰市| 左云县| 瑞金市| 乳源| 绥滨县| 普宁市| 甘德县| 商南县| 呼伦贝尔市| 台东县| 新竹县| 通辽市| 体育|