{"product_id":"automated-technology-for-verification-and-analysis-20th-international-symposium-atva-2022-virtual-event-october-2528-2022-proceedings-9783031199912","title":"Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings","description":"\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 432 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 23 October 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 694g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031199912\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2022\u003c\/p\u003e","brand":"Shulph Ink","offers":[{"title":"Paperback \/ softback","offer_id":44289577091322,"sku":"9783031199912","price":55.5,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_b7709a31-a62a-43a2-9295-66406e84ca8d.jpg?v=1687282076","url":"https:\/\/shulphink.com\/products\/automated-technology-for-verification-and-analysis-20th-international-symposium-atva-2022-virtual-event-october-2528-2022-proceedings-9783031199912","provider":"Shulph Ink","version":"1.0","type":"link"}