• Shop by category
  • Powered by eBay
  • Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambr

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

    • The Formal Specification in Z of Defence Standard 00-56 (Invited Paper). - Specifying and Interpreting Class Hierarchies in Z.- Semantics. - Z and HOL (Invited Paper). - Z and Natural Semantics.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category