Showing 1 - 3 results of 3 for search 'Ben-Ari, Mordechai', query time: 0.01s Refine Results
  1. 1
    Principles of the Spin Model Checker
    by Ben-Ari, Mordechai
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Mathematical Logic for Computer Science
    by Ben-Ari, Mordechai
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Ada for Software Engineers (Second Edition with Ada 2005)
    Published 2009
    Other Authors: “…Ben-Ari, Mordechai…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search