When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Automated Technology for Verification and Analysis: 22nd International
- Item No : 388448225913
- Condition : Brand New
- Brand : No brand Info
- Seller : simplybestprices-10to20dayshipping
- Current Bid : US $186.64
-
* Item Description
- The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
-
- NO GRID Survival Projects
- $ 37.00
