{"product_id":"9783030921231","title":"Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings (Theoretical Computer Science and General Issues 13085) (1st ed. 2021. 2022. XV, 522 S. 63 SW-Abb. 23.5 cm)","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER","offers":[{"title":"Default Title","offer_id":45617488199759,"sku":"00000_00000_00000_00000","price":3150.0,"currency_code":"TWD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0672\/9174\/2287\/files\/9783030921231-1.jpg?v=1787301129","url":"https:\/\/kinokuniya.com.tw\/en\/products\/9783030921231","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}