Start Over
You searched for: author_facet Levi, G.

Search Results

Cover image for Static analysis

Static analysis

  • 1998
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .S716 1998 ✔ Available
Cover image for Algebraic and logic programming

Algebraic and logic programming

  • 1992
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6.A45842 1992 ✔ Available
Cover image for Algebraic and Logic Programming

Algebraic and Logic Programming

Location
Access Content Online
Cover image for Algebraic and logic programming

Algebraic and logic programming

  • 1992
  • Format: Electronic
Location
Access Content Online
Cover image for Foundations of Logic and Functional Programming Workshop

Foundations of Logic and Functional Programming Workshop

Location Call # Status
Joyner - General Stacks QA76.6.F6858 1986 ✔ Available
Cover image for Logic programming

Logic programming

  • 1989
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63.L643 1989B ✔ Available
Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

Location
Access Content Online
Cover image for Static analysis

Static analysis

  • 1998
  • Format: Electronic
Location
Access Content Online
Cover image for Algebraic and logic programming

Algebraic and logic programming

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .A45843 1994 ✔ Available
Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

Location Call # Status
Joyner - General Stacks QA76.76.V47 V53 2004 ✔ Available