{"product_id":"automated-technology-for-verification-and-meenakshi-dcsouza-9783032087065","title":"Automated Technology for Verification and Analysis: 23rd International Symposium, Atva 2025, Bengaluru, India, October 27-31, 2025, Proceedings","description":"\u003cp\u003eThis book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27-31, 2025.\u003c\/p\u003e \u003cp\u003eThe 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal logic; games and controller synthesis; monitoring and runtime verification; probabilistic verification and quantum computing; learning; hybrid and dynamical systems; and verification. \u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Meenakshi D´souza\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3032087066\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783032087065\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/26\/2025\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 474\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.51lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.99d","brand":"Meenakshi D´souza","offers":[{"title":"Paperback","offer_id":48487428882687,"sku":"9783032087065","price":89.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_e20a0129-4f0b-41e0-b47c-184d13c73baa.jpg?v=1778060427","url":"https:\/\/www.whiterainbookhouse.com\/products\/automated-technology-for-verification-and-meenakshi-dcsouza-9783032087065","provider":"WR Book House","version":"1.0","type":"link"}