{"product_id":"9783319194578","title":"Formal Methods for Industrial Critical Systems","description":"\u003cp\u003eThis book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.\u003c\/p\u003e\u003cp\u003eThe 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2015\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 3577\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":"Manuel Núñez","offers":[{"title":"Default Title","offer_id":41263847211186,"sku":"9783319194578","price":1062297.85,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3319194577.01_SCLZZZZZZZ.jpg?v=1635986556","url":"https:\/\/readabook.store\/en-id\/products\/9783319194578","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}