{"product_id":"9783540731955","title":"Formal Techniques for Networked and Distributed Systems - FORTE 2007","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom\/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2007\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer Berlin Heidelberg\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 599\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"John Derrick","offers":[{"title":"Default Title","offer_id":41241769803954,"sku":"9783540731955","price":124.79,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3540731954.01_SCLZZZZZZZ.jpg?v=1635514851","url":"https:\/\/readabook.store\/products\/9783540731955","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}