Start Over
You searched for: author_facet Dahl, Ole-Johan

Search Results

Cover image for From object-orientation to formal methods

From object-orientation to formal methods

  • 2004
  • Format: Electronic
Location
Access Content Online
Cover image for Recent trends in data type specification

Recent trends in data type specification

Location
Access Content Online
Cover image for Recent trends in data type specification

Recent trends in data type specification

Location Call # Status
Joyner - General Stacks QA76.9.A23 W67 1995 ✔ Available
Cover image for Verifiable programming

Verifiable programming

Location Call # Status
Joyner - General Stacks QA76.76.V47 D34 1992 ✔ Available