{"product_id":"9783032306920","title":"Lecture Notes in Computer Science: 20th International Symposium, TASE 2026, Shanghai, China, July 4–6, 2026, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 20th International Symposium, TASE 2026, Shanghai, China, July 4–6, 2026, Proceedings\u003c\/h1\u003e \u003ch2\u003eDe Giacomo, Giuseppe; Li, Jianwen; Xiao, Lili\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; mso-ansi-language: EN-US;\"\u003eThis book constitutes the refereed proceedings of the 20th International Symposium on Theoretical Aspects of Software Engineering, TASE 2026, held in Shanghai, China, during July 4–6, 2026.\u003c\/span\u003e\u003c\/p\u003e\n\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; mso-ansi-language: EN-US;\"\u003eThe 23 full papers and 5 short papers were carefully selected from 64 submissions. The proceedings aim to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering.\u003c\/span\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2026-07-30\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783032306920\u003c\/p\u003e \u003cp\u003eDOI: \u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: \u003c\/p\u003e ","brand":"Springer Nature Switzerland","offers":[{"title":"Default Title","offer_id":50294305456268,"sku":"9783032306920","price":71.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783032306920","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}