{"product_id":"formal-description-techniques-and-protocol-specification-testing-and-verification-forte-x-pstv-xvii-97-9781475752601","title":"Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X \/ Pstv XVII '97","description":"\u003cp\u003e • Author(s): Atsushi Togashi\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Electrical\u003c\/p\u003e\u003cp\u003e\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":"Springer","offers":[{"title":"Paperback","offer_id":45284553654423,"sku":"9781475752601","price":14553.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781475752601.webp?v=1769281544","url":"https:\/\/atlanticbooks.com\/products\/formal-description-techniques-and-protocol-specification-testing-and-verification-forte-x-pstv-xvii-97-9781475752601","provider":"Atlantic Books","version":"1.0","type":"link"}