{"product_id":"fm-2014-formal-methods-19th-international-symposium-singapore-may-12-16-2014-proceedings-9783319064093","title":"FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","description":"\u003cp\u003e • Author(s): Cliff Jones\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003eThis 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. \u003cbr\u003eThe 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45278433345687,"sku":"9783319064093","price":7345.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319064093.webp?v=1769290942","url":"https:\/\/atlanticbooks.com\/products\/fm-2014-formal-methods-19th-international-symposium-singapore-may-12-16-2014-proceedings-9783319064093","provider":"Atlantic Books","version":"1.0","type":"link"}