{"product_id":"9783030112448","title":"Verification, Model Checking, and Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings","description":"Never HIGHLIGHT a Book Again! Includes all testable terms, concepts, persons, places, and events. Cram101 Just the FACTS101 studyguides gives all of the outlines, highlights, and quizzes for your textbook with optional online comprehensive practice tests. Only Cram101 is Textbook Specific. Accompanies: 9780195126846. This item is printed on demand.","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":47063772102896,"sku":"9783030112448","price":99.99,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9783030112448_p0.jpg?v=1763716374","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9783030112448","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}