{"product_id":"formal-methods-for-distributed-system-development-forte-pstv-9780792379683","title":"Formal Methods for Distributed System Development: FORTE \/ PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... Information and Communication Technology, 55)","description":"\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e and Verification TC6 WG6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification Testing IFIP, Tommaso Bolognesi, Diego Latella\u003cbr\u003e\u003cstrong\u003ePublisher:\u003c\/strong\u003e Springer\u003cbr\u003e\u003cstrong\u003eEdition Year:\u003c\/strong\u003e 2000\u003cbr\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 9780792379683\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":67607643062425,"sku":"9780792379683","price":7990.0,"currency_code":"PKR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0735\/5642\/6905\/files\/view_archive_d285a54c-9a6b-4723-8c12-1ff84de3d542.jpg?v=1791030933","url":"https:\/\/booksworldstore.com\/products\/formal-methods-for-distributed-system-development-forte-pstv-9780792379683","provider":"Books World","version":"1.0","type":"link"}