• Shop by category
  • Powered by eBay
  • Automated Technology for Verification and Analysis: 22nd International Symposium

    • Item No : 146752916579
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $141.75
    • * Item Description

    • Subtitle 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I. Automated Technology for Verification and Analysis. Series Lecture Notes in Computer Science. Publisher Springer International Publishing AG.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category