{"product_id":"9783662491218","title":"Lecture Notes in Computer Science: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings\u003c\/h1\u003e \u003ch2\u003eJobstmann, Barbara; Leino, K. Rustan M.\u003c\/h2\u003e \u003cp\u003eThis book constitutes the refereed proceedings of the 17th International\n Conference on Verification, Model Checking, and Abstract \nInterpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The  24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected \nfrom 67 submissions. \u003c\/p\u003e\u003cdiv\u003e\n\u003cdiv\u003eVMCAI provides topics including: program verification, model checking, abstract\u003c\/div\u003e\n\u003cdiv\u003einterpretation and abstract domains, program synthesis, static analysis,\u003c\/div\u003e\n\u003cdiv\u003etype systems, deductive methods, program certification, debugging techniques,\u003c\/div\u003e\n\u003cdiv\u003eprogram transformation, optimization, hybrid and cyber-physical systems.\u003c\/div\u003e\n\u003c\/div\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2015-12-26\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783662491218\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-662-49122-5\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 558\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45377475346572,"sku":"9783662491218","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783662491218.jpg?v=1774013659","url":"https:\/\/lateknightbooks.com\/products\/9783662491218","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}