{"product_id":"formal-methods-for-protocol-engineering-and-distributed-syst-9781475752700","title":"Formal Methods for Protocol Engineering and Distributed Systems Forte XII \/ PSTV XIX’99","description":"\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Jianping Jianping Wu, Samuel T. Chanson, Quiang Quiang Gao\u003cbr\u003e\u003cstrong\u003ePublisher:\u003c\/strong\u003e Springer US\u003cbr\u003e\u003cstrong\u003eEdition Year:\u003c\/strong\u003e 2013\u003cbr\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 9781475752700\u003c\/p\u003e","brand":"Springer US","offers":[{"title":"Default Title","offer_id":67607709024409,"sku":"9781475752700","price":7990.0,"currency_code":"PKR","in_stock":true}],"url":"https:\/\/booksworldstore.com\/products\/formal-methods-for-protocol-engineering-and-distributed-syst-9781475752700","provider":"Books World","version":"1.0","type":"link"}