{"product_id":"9781475752625","title":"IFIP Advances in Information and Communication Technology: FORTE XI\/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, ...","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: FORTE XI\/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France\u003c\/h1\u003e \u003ch2\u003eBudkowski, Stan; Cavalli, Ana; Najm, Elie\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eFormal Description Techniques and Protocol Specification,  Testing and\u003c\/em\u003e \u003cem\u003eVerification\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 and industrialization of FDTs. Among the important  features presented are: FDT-based system and protocol engineering;  FDT-application to distributed systems; Protocol engineering;  Practical experience and case studies. \u003cbr\u003e  \u003cem\u003eFormal Description Techniques and Protocol Specification, Testing  and\u003c\/em\u003e \u003cem\u003eVerification\u003c\/em\u003e comprises the proceedings of the Joint  International Conference on Formal Description Techniques for  Distributed Systems and Communication Protocols and Protocol  Specification, Testing and Verification, sponsored by the  International Federation for Information Processing, held in November  1998, Paris, France. \u003cbr\u003e  \u003cem\u003eFormal Description Techniques and Protocol Specification, Testing  and\u003c\/em\u003e \u003cem\u003eVerification\u003c\/em\u003e is suitable as a secondary text for a  graduate-level course on Distributed Systems or Communications, and as  a reference for researchers and practitioners in industry.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2013-03-05\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781475752625\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35394-4\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 472\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45378942926988,"sku":"9781475752625","price":197.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781475752625.jpg?v=1779504093","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781475752625","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}