{"product_id":"formal-description-techniques-viii-ifip-advances-in-information-and-communication-technology-041273270x","title":"Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 041273270X\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e von Bochmann, Gregor\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eThis volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51859031654688,"sku":"NEW041273270X","price":202.33,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61YgO9ODqSL.jpg?v=1781585908","url":"https:\/\/miakarts.com\/products\/formal-description-techniques-viii-ifip-advances-in-information-and-communication-technology-041273270x","provider":"Miakarts Books","version":"1.0","type":"link"}