{"product_id":"formal-methods-for-distributed-system-development-forte-pstv-9781475752649","title":"Formal Methods for Distributed System Development FORTE \/ PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ver","description":"\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Tommaso Bolognesi\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 9781475752649\u003c\/p\u003e","brand":"Springer US","offers":[{"title":"Default Title","offer_id":67607607738521,"sku":"9781475752649","price":7990.0,"currency_code":"PKR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0735\/5642\/6905\/files\/view_archive_fe9f01e7-8ff8-49a3-ad80-76b132846921.jpg?v=1791029657","url":"https:\/\/booksworldstore.com\/products\/formal-methods-for-distributed-system-development-forte-pstv-9781475752649","provider":"Books World","version":"1.0","type":"link"}