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

Search Results

Cover image for Recent trends in data type specification

Recent trends in data type specification

Joyner Library - General Stacks
Call Number: QA76.9.A23 W67 1995
Cover image for Recent trends in data type specification

Recent trends in data type specification

Location
Access Content Online
Cover image for Verifiable programming

Verifiable programming

Joyner Library - General Stacks
Call Number: QA76.76.V47 D34 1992
Cover image for From object-orientation to formal methods

From object-orientation to formal methods

  • 2004
  • Format: Electronic
Location
Access Content Online