• Shop by category
  • Powered by eBay
  • Formal Methods and Software Engineering: 20th International Conference on Formal

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

    • Network systems. - Type theory. - Theorem proving. - Logic and semantics. - Doctoral symposium. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category