{"product_id":"formal-methods-for-protocol-engineering-and-distributed-systems-forte-xii-pstv-xix99-von-samuel-t-chanson-jianping-wu-quiang-gao-hrsg","title":"Formal Methods for Protocol Engineering and Distributed Systems","description":"\n                                \n                \u003cem\u003eFormal Methods for Protocol Engineering and Distributed  Systems\u003c\/em\u003e\n                                 addresses formal description techniques (FDTs) applicable  to distributed systems and communication protocols. It aims to present  the state of the art in theory, application, tools an  industrialization of FDTs. Among the important features presented are:  \n                \n                \u003cul\u003e\n                                         \n                    \n                    \u003cli\u003eFDT-based system and protocol engineering;  \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eFDT application to distributed systems; \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003eProtocol  engineeering; \u003c\/li\u003e\n                                          \n                    \n                    \u003cli\u003ePractical experience and case studies.\u003c\/li\u003e\n                                          \n                \n                \u003c\/ul\u003e\n                                   \n                \n                \u003cbr\u003e\n                                  \n                \n                \u003cem\u003eFormal Methods for Protocol Engineering and Distributed Systems\u003c\/em\u003e\n                                  contains the proceedings of the Joint International Conference on  Formal Description Techniques for Distributed Systems and  Communication Protocols and Protocol Specification, Testing, and  Verification, which was sponsored by the International Federation for  Information Processing (IFIP) and was held in Beijing, China, in  October 1999. \n                \n                \u003cbr\u003e\n                                  This volume is suitable as a secondary text for a graduate level  course on Distributed Systems or Communications, and as a reference  for researchers and industry practitioners.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9780792386469\"\u003e\u003ch3\u003eForte XII \/ PSTV XIX’99\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781475752700\"\u003e\u003ch3\u003eForte XII \/ PSTV XIX’99\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Hardcover - 9780792386469","offer_id":50704387846,"sku":"9780792386469","price":213.99,"currency_code":"EUR","in_stock":true},{"title":"Softcover - 9781475752700","offer_id":39415613358173,"sku":"9781475752700","price":213.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/9e0b46e0-9fd2-4df3-ace3-801e21b9c95a.jpg?v=1779251104","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-for-protocol-engineering-and-distributed-systems-forte-xii-pstv-xix99-von-samuel-t-chanson-jianping-wu-quiang-gao-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}