Start Over
You searched for: author_facet Ben-Ari, M.

Search Results

Cover image for Mathematical logic for computer science

Mathematical logic for computer science

Location
Access Content Online
Cover image for Ada for software engineers

Ada for software engineers

Location
Access Content Online
Cover image for Principles of the Spin model checker

Principles of the Spin model checker

Location Call # Status
Joyner - General Stacks QA76.76.V47 B46 2008 ✔ Available
Cover image for Mathematical logic for computer science

Mathematical logic for computer science

Location Call # Status
Joyner - General Stacks QA9 .B3955 1993 ✔ Available