Start Over
You searched for: author_facet Levi, G.

Search Results

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

Location
Access Content Online
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
Cover image for Static analysis

Static analysis

  • 1998
  • Format: Electronic
Location
Access Content Online
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

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .A45843 1994 ✔ 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: Book
Location Call # Status
Joyner - General Stacks QA76.6.A45842 1992 ✔ Available
Cover image for Algebraic and logic programming

Algebraic and logic programming

  • 1992
  • Format: Electronic
Location
Access Content Online
Cover image for Logic programming

Logic programming

  • 1989
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.63.L643 1989B ✔ Available
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