• Shop by category
  • Powered by eBay
  • Temporal Logic of Programs by Fred Kr?ger (English) Paperback Book

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

    • Logic and Programs. - Historical Remarks. - I. Propositional Temporal Logic. A Language TTA of Propositional Temporal Logic. Semantics of TTA. Temporal Logical Laws. Axiomatization of Propositional Temporal Logic.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category