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

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

    • The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. - Variable Permissions for Concurrency Verification. - A Concurrent Temporal Programming Model with Atomic Blocks.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category