| 书目名称 | Formal Methods for Protocol Engineering and Distributed Systems |
| 副标题 | Forte XII / PSTV XIX |
| 编辑 | Jianping Wu,Samuel T. Chanson,Qiang Gao |
| 视频video | http://file.papertrans.cn/346/345811/345811.mp4 |
| 丛书名称 | IFIP Advances in Information and Communication Technology |
| 图书封面 |  |
| 描述 | .Formal Methods for Protocol Engineering and DistributedSystems. addresses formal description techniques (FDTs) applicableto distributed systems and communication protocols. It aims to presentthe state of the art in theory, application, tools anindustrialization of FDTs. Among the important features presented are:. .FDT-based system and protocol engineering;..FDT application to distributed systems; ..Protocolengineeering; ..Practical experience and case studies... ..Formal Methods for Protocol Engineering and Distributed Systems.contains the proceedings of the Joint International Conference onFormal Description Techniques for Distributed Systems andCommunication Protocols and Protocol Specification, Testing, andVerification, which was sponsored by the International Federation forInformation Processing (IFIP) and was held in Beijing, China, inOctober 1999. .This volume is suitable as a secondary text for a graduate levelcourse on Distributed Systems or Communications, and as a referencefor researchers and industry practitioners. |
| 出版日期 | Book 1999 |
| 关键词 | Internet Protocol (IP); Routing; TCP; Transmission Control Protocol; communication; configuration; distrib |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-0-387-35578-8 |
| isbn_softcover | 978-1-4757-5270-0 |
| isbn_ebook | 978-0-387-35578-8Series ISSN 1868-4238 Series E-ISSN 1868-422X |
| issn_series | 1868-4238 |
| copyright | IFIP International Federation for Information Processing 1999 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-9-11 16:18
发表于 2025-3-21 18:20:43
