| 書目名稱 | Formal Methods for Protocol Engineering and Distributed Systems | | 副標(biāo)題 | 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 | | 關(guān)鍵詞 | 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 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 03:22
發(fā)表于 2025-3-21 18:20:43
