{"product_id":"verification-model-checking-and-abstract-ranjit-jhala-9783642182747","title":"Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, Tx, Usa, January 23-25, 2011 Proceedings","description":"This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Ranjit Jhala\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642182747\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642182747\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/11\/2011\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 419\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.45lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.30h x 6.10w x 0.90d","brand":"Ranjit Jhala","offers":[{"title":"Paperback","offer_id":47424597360895,"sku":"9783642182747","price":54.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_b1792f10-3bb0-401a-b385-458c32fdca20.jpg?v=1761531285","url":"https:\/\/www.whiterainbookhouse.com\/products\/verification-model-checking-and-abstract-ranjit-jhala-9783642182747","provider":"WR Book House","version":"1.0","type":"link"}