{"product_id":"9781795592192","title":"Child 423","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.","brand":"Beach Umbrella Books LLC","offers":[{"title":"Default Title","offer_id":47059399114992,"sku":"9781795592192","price":10.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781795592192_p0.jpg?v=1763740184","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781795592192","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}