{"product_id":"9783319336923","title":"Lecture Notes in Computer Science: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings\u003c\/h1\u003e \u003ch2\u003eÁbrahám, Erika; Huisman, Marieke\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\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 \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2016-05-24\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319336923\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-33693-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 538\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":44806004408460,"sku":"9783319336923","price":80.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319336923.jpg?v=1774013858","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783319336923","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}