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

    • Item No : 236095518595
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile_uk_store
    • Current Bid : US $73.89
    • * Item Description

    • The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. Publisher Springer International Publishing AG.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category