• Shop by category
  • Powered by eBay
  • Formal Methods for Components and Objects: 11th International Symposium, FMCO 20

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

    • The Abstract Behavioral Specification Language: A Tutorial Introduction. - Subobject-Oriented Programming. - Verification of Open Concurrent Object Systems. - Automatic Inference of Bounds on Resource Consumption.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category