• Shop by category
  • Powered by eBay
  • Unifying Theories of Programming: First International Symposium, UTP 2006, Walwo

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

    • Retrospective and Prospective for Unifying Theories of Programming. - Object-Orientation in the UTP. - CSP Is a Retract of CCS. - A Design-Based Model of Reversible Computation. - An Operational Semantics in UTP for a Language of Reactive Designs (Abstract).
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category