Start Over
You searched for: author_facet Windley, Phillip J.

Search Results

Cover image for Digital identity

Digital identity

Location Call # Status
Joyner - General Stacks TK5105.59 .W56 2005 ✔ Available
Cover image for Higher order logic theorem proving and its applications

Higher order logic theorem proving and its applications

  • 1995
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.9.A96 H54 1995 ✔ Available
Cover image for Formal methods in computer-aided design

Formal methods in computer-aided design

Location
Access Content Online
Cover image for Higher order logic theorem proving and its applications

Higher order logic theorem proving and its applications

  • 1995
  • Format: Electronic
Location
Access Content Online