• Shop by category
  • Powered by eBay
  • Time & Logic: A Computational Approach (Routledge Revivals) by Leonard Bolc

    • Item No : 167544787220
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : loveourprices2
    • Current Bid : US $45.93
    • * Item Description

    • The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. The book begins with an introduction to the basic ideas of temporal logic.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category