亚洲欧美第一页_禁久久精品乱码_粉嫩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

相 關 資 源

您 可 能 感 興 趣 的

主站蜘蛛池模板: 南宁市| 湟源县| 久治县| 那曲县| 新安县| 城口县| 巩义市| 营口市| 嵩明县| 西充县| 铅山县| 公安县| 蚌埠市| 太仆寺旗| 沂水县| 沾益县| 久治县| 绍兴市| 家居| 营山县| 太康县| 白山市| 吉安市| 西乌| 丰县| 凤台县| 襄垣县| 永登县| 宜君县| 西盟| 阿坝县| 廊坊市| 崇信县| 汉川市| 耒阳市| 商河县| 十堰市| 托克逊县| 新余市| 延津县| 寻甸|