{"product_id":"9783319336923","title":"Integrated Formal Methods","description":"\u003cp\u003eThis book\nconstitutes the refereed proceedings of the 12th International Conference on Integrated\nFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.\u003cbr\u003eThe 33 papers\npresented in this volume were carefully reviewed and selected from 99\nsubmissions. They were organized in topical sections named: invited\ncontributions; program verification; probabilistic systems; concurrency; safety\nand liveness; model learning; SAT and SMT solving; testing; theorem proving and\nconstraint satisfaction; case studies. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2016\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): 8248\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":"Erika Ábrahám","offers":[{"title":"Default Title","offer_id":41272176083122,"sku":"9783319336923","price":1769998.15,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3319336924.01_SCLZZZZZZZ.jpg?v=1636120752","url":"https:\/\/readabook.store\/en-id\/products\/9783319336923","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}