{"product_id":"9783030636173","title":"Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers (Lecture Notes in Computer Science 12549) (1st ed. 2020. 2020. xxvi, 239 S. 38 SW","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":49201657282787,"sku":"00000_00000_00000_00000","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0764\/3758\/6147\/files\/9783030636173-1.jpg?v=1788528204","url":"https:\/\/usa.kinokuniya.com\/ja\/products\/9783030636173","provider":"Books Kinokuniya USA","version":"1.0","type":"link"}