{"product_id":"9780792386469","title":"IFIP Advances in Information and Communication Technology: Forte XII \/ PSTV XIX’99","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: Forte XII \/ PSTV XIX’99\u003c\/h1\u003e \u003ch2\u003eJianping Wu; Chanson, Samuel T.; Quiang Gao\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eFormal Methods for Protocol Engineering and Distributed  Systems\u003c\/em\u003e 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:  \u003c\/p\u003e\u003cul\u003e \u003cli\u003eFDT-based system and protocol engineering;  \u003c\/li\u003e  \u003cli\u003eFDT application to distributed systems; \u003c\/li\u003e  \u003cli\u003eProtocol  engineeering; \u003c\/li\u003e  \u003cli\u003ePractical experience and case studies.\u003c\/li\u003e  \u003c\/ul\u003e   \u003cbr\u003e  \u003cem\u003eFormal Methods for Protocol Engineering and Distributed Systems\u003c\/em\u003e  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. \u003cbr\u003e  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. \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1999-09-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792386469\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35578-8\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 500\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45378909012108,"sku":"9780792386469","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792386469.jpg?v=1779503386","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780792386469","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}