- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Ben-Ari, M.

Showing 1 - 4 of 4 results

Search Results

Cover image for Mathematical logic for computer science

Mathematical logic for computer science

by Ben-Ari, M., 1948-
1992
Format: Book

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

Cover image for Ada for software engineers

Ada for software engineers

by Ben-Ari, M., 1948-
2009
2nd ed.
Format: Electronic

Location
Access Content Online

Cover image for Principles of the Spin model checker

Principles of the Spin model checker

by Ben-Ari, M., 1948-
2008
Format: Book

Location
Access Content Online

Cover image for Mathematical logic for computer science

Mathematical logic for computer science

by Ben-Ari, M., 1948-
2012
Third edition
Format: Electronic

Location
Access Content Online