• Shop by category
  • Powered by eBay
  • Tools and Algorithms for the Construction and Analysis of Systems: 26th Internat

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

    • Short Title Tools and Algorithms for the Construction and Analysis of Systems. - Verification and Efficiency. - Logic and Proof. - Tools and Case Studies. - SV-COMP 2020. Publication Date 2020-04-18.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category