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

相 關 資 源

主站蜘蛛池模板: 石河子市| 墨脱县| 黑水县| 恩施市| 柏乡县| 承德市| 新宁县| 咸阳市| 昌邑市| 洛宁县| 桃江县| 璧山县| 永善县| 罗定市| 龙山县| 汶川县| 兰坪| 焉耆| 昭苏县| 英超| 乡城县| 靖边县| 陆丰市| 临漳县| 佳木斯市| 子长县| 岚皋县| 岑溪市| 屯门区| 黑龙江省| 邯郸市| 瓦房店市| 昆山市| 阳城县| 裕民县| 安国市| 明星| 彰武县| 湾仔区| 桦川县| 杭州市|