Your search returned 5 results.

Results
		Understanding programming languages / M. Ben-Ari by Ben-Ari, M Material type: Text; Literary form: Not fiction ; Audience: General; Publication details: Chichester: New York: Wiley, 1996 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.6 .B46 1996. Place hold Log in to add tags Add to cart (remove)
		Principles of the Spin model checker / Mordechai Ben-Ari by Ben-Ari, M Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: London : Springer, c2008 Online resources: Table of contents only Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.76.V47 B46 2008. Place hold Log in to add tags Add to cart (remove)
		Principles of concurrent and distributed programming / M. Ben-Ari by Ben-Ari, M Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Harlow, England : Addison-Wesley, 2006 Availability: Items available for loan: UMPLIB PEKAN (1)Call number: QA76.5 .B46 2006. Place hold Log in to add tags Add to cart (remove)
		Mathematical logic for computer science / Mordechai Ben-Ari by Ben-Ari, M Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Springer, c2001 Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: QA9 .B36 2001. Place hold Log in to add tags Add to cart (remove)
		Ada for software engineers / M. Ben-Ari by Ben-Ari, M Series: Worldwide series in computer science Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Chichester ; New York : Wiley, 1998 Other title: Ada for software engineers Availability: Items available for loan: UMPLIB GAMBANG (1)Call number: CD 220 \| QA76.73.A35 B46 1998. UMPLIB PEKAN (1)Call number: QA76.73.A35 B46 1998. Place hold Log in to add tags Add to cart (remove)