{"product_id":"9780412794902","title":"IFIP Advances in Information and Communication Technology: Theory, application and tools","description":"\u003ch1\u003eIFIP Advances in Information and Communication Technology: Theory, application and tools\u003c\/h1\u003e \u003ch2\u003eGotzhein, R.; Bredereke, J.\u003c\/h2\u003e \u003cp\u003eThis book is the combined proceedings of the latest IFIP Formal  Description Techniques (FDTs) and Protocol Specification, Testing and  Verification (PSTV) series. It addresses FDTs applicable to  communication protocols and distributed systems, with special  emphasis on standardised FDTs. It features state-of-the-art in  theory, application, tools and industrialisation of formal  description.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1996-09-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780412794902\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-387-35079-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 518\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45378908455052,"sku":"9780412794902","price":296.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780412794902","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}