南開科技大學圖書館 |

Language: 繁體中文

說明(常見問題)

南開科技大學

圖書館首頁

編目中圖書申請

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

網絡協議的形式化分析與設計

古天龍

網絡協議的形式化分析與設計

紀錄類型:	書目-電子資源 : 單行本
作者:	古天龍
出版地:	北京
出版者:	電子工業出版社;
出版年:	2003
標題:	計算機網絡 - 通信協議 -
電子資源:	中華數字書苑--點擊此處查看電子書全文
附註:	需要下載並安裝APABI Reader軟件閱讀電子圖書
摘要註:	計算機網絡及數據通信是當今信息社會的基石，網絡協議則是其中不可缺少的重要組成部份。形式化方法與技術已經滲透到網絡協議開發的整個過程。本書就網絡協議分析與設計中的形式化方法與技術展開討論和介紹，主要內容包括：網絡協議及開發概論；網絡協議的形式化模型；網絡協議的形式化描述語言；網絡協議的形式化驗證；網絡協議的形式化綜合；網絡協議的測試；網絡協議的分析和驗證工具；電子商務協議的形式化分析等。本書可作為計算機、通信、自動化等專業高年級本科生或研究生的教學用書，也可作為相關領域的研究人員和工程技術人員的參考書。
ISBN:	7505386468

網絡協議的形式化分析與設計
古天龍

網絡協議的形式化分析與設計 [電子資源] / 古天龍編 - 北京 : 電子工業出版社, 2003.
需要下載並安裝APABI Reader軟件閱讀電子圖書.
ISBN 7505386468
計算機網絡 -- 通信協議

網絡協議的形式化分析與設計
LDR:01450clm0 22002053 450 001 1000012781
005 20170807104644.0
009 APABI200400007063
010 0 $a 7505386468 $d CNY8.33
100 $a 20080324d2003 em y0chiy0121 e
101 0 $a chi
102 $a cn
200 1 $a 網絡協議的形式化分析與設計 $f 古天龍編 $b 電子資源
204 0 $a 電子資源
210 $a 北京 $c 電子工業出版社 $d 2003
300 $a 需要下載並安裝APABI Reader軟件閱讀電子圖書
330 $a 計算機網絡及數據通信是當今信息社會的基石，網絡協議則是其中不可缺少的重要組成部份。形式化方法與技術已經滲透到網絡協議開發的整個過程。本書就網絡協議分析與設計中的形式化方法與技術展開討論和介紹，主要內容包括：網絡協議及開發概論；網絡協議的形式化模型；網絡協議的形式化描述語言；網絡協議的形式化驗證；網絡協議的形式化綜合；網絡協議的測試；網絡協議的分析和驗證工具；電子商務協議的形式化分析等。本書可作為計算機、通信、自動化等專業高年級本科生或研究生的教學用書，也可作為相關領域的研究人員和工程技術人員的參考書。
606 $a 計算機網絡 $x 通信協議 $2 cth $3 1000013507
687 $a TN915.04 $v 4
700 1 $a 古天龍 $3 1000013506
801 0 $a CN $b 方正APABI $c 20080324
856 4 $u http://cec.lib.apabi.com:80/product.asp?BookID=ISBN7%2d5053%2d8646%2d8 $z 中華數字書苑--點擊此處查看電子書全文
997 $a ISBN7-5053-8646-8