Start Over
You searched for: Keywords bjørner

Search Results

Cover image for Baltic computer science

Baltic computer science

  • 1991
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.B26 1991 ✔ Available
Cover image for Baltic computer science

Baltic computer science

  • 1991
  • Format: Electronic
Location
Access Content Online
Cover image for Domain Science and Engineering A Foundation for Software Development

Domain Science and Engineering A Foundation for Software Development

Location
Access Content Online
Cover image for FM 2015

FM 2015

Location
Access Content Online
Cover image for Finding statistics online

Finding statistics online

Location Call # Status
Joyner - General Stacks HA33.5 .B47 1998 ✔ Available
Cover image for Formal methods in programming and their applications

Formal methods in programming and their applications

  • 1993
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.6 .F577 1993 ✔ Available
Cover image for VDM '87

VDM '87

  • 1987
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.76.D47 V85 1987 ✔ Available
Cover image for Automated deduction--CADE-23

Automated deduction--CADE-23

Location
Access Content Online
Cover image for Formal methods in programming and their applications

Formal methods in programming and their applications

  • 1993
  • Format: Electronic
Location
Access Content Online
Cover image for Perspectives of system informatics

Perspectives of system informatics

Location Call # Status
Joyner - General Stacks QA75.5 .I5443 1996 ✔ Available