{"product_id":"formal-description-techniques-and-protocol-specification-testing-and-verification-forte-x-pstv-xvii-97-ifip-advances-in-information-and-communication-technology-0412820609","title":"Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X \/ Pstv XVII '97 (IFIP Advances in Information and Communication Technology)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0412820609\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Togashi, Atsushi\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eFORTE\/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51864377262368,"sku":"NEW0412820609","price":201.02,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61P1neCBjTL.jpg?v=1781644330","url":"https:\/\/miakarts.com\/products\/formal-description-techniques-and-protocol-specification-testing-and-verification-forte-x-pstv-xvii-97-ifip-advances-in-information-and-communication-technology-0412820609","provider":"Miakarts Books","version":"1.0","type":"link"}