{"product_id":"fm-2014-formal-methods-19th-international-symposium-singapore-may-12-16-2014-proceedings-von-cliff-jones-pekka-pihlajasaari-jun-sun-hrsg","title":"FM 2014: Formal Methods","description":"This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319064093\"\u003e\u003ch3\u003e19th International Symposium, Singapore, May 12-16, 2014. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319064093","offer_id":39420453060701,"sku":"9783319064093","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/73461_86cebf50-4124-432b-97dc-bb2b86b5ca49.jpg?v=1784779893","url":"https:\/\/shop.autorenwelt.de\/en\/products\/fm-2014-formal-methods-19th-international-symposium-singapore-may-12-16-2014-proceedings-von-cliff-jones-pekka-pihlajasaari-jun-sun-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}