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

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

    • HOLL: Program Synthesis for Higher Order Logic Locking. - The Complexity of LTL Rational Synthesis. - Synthesis of Compact Strategies for Coordination Programs. - ZDD Boolean Synthesis. - Functions and Computer Algebra Systems.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category