{"product_id":"formal-methods-for-industrial-critical-systems-von-undefined-3","title":"Formal Methods for Industrial Critical Systems","description":"\n                                \n                \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\n                                \n                \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\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319194578\"\u003e\u003ch3\u003e20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783319194578","offer_id":40604226912349,"sku":"9783319194578","price":51.36,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a9eb338b-266a-42bf-8159-05702405618c.jpg?v=1773552110","url":"https:\/\/shop.autorenwelt.de\/products\/formal-methods-for-industrial-critical-systems-von-undefined-3","provider":"Autorenwelt Shop","version":"1.0","type":"link"}