Screen Library网络协议工程 = Network protocol engineering
Saved in:
| Main Authors: | |
|---|---|
| Published: |
电子工业出版社
|
| Publisher Address: | 北京 |
| Publication Dates: | 2011 |
| Literature type: | Book |
| Language: | Chinese |
| Subjects: | |
| Carrier Form: | 10,246页: ; 26cm |
| ISBN: | 978-7-121-13130-1 |
| Index Number: | TN915 |
| CLC: | TN915.04 |
| Call Number: | TN915.04/6832 |
| Contents: | 本书以协议工程活动所涉及的各种技术为主线，内容包括：协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具等7章。 |