Showing 1 - 2 results of 2 for search '288973 Ben-Ari, Mordechai', query time: 0.02s Refine Results
  1. 1
    Principles of the spin model checker /

    Principles of the spin model checker / by 288973 Ben-Ari, Mordechai

    Published 2008
  2. 2
    Mathematical logic for computer science /

    Mathematical logic for computer science / by 288973 Ben-Ari, Mordechai

    Published 2003

Search Tools: