Start Over
You searched for: author_facet Olderog, E.-R.

Search Results

Cover image for Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Location
Access Content Online
Cover image for Formal techniques in real-time and fault-tolerant systems

Formal techniques in real-time and fault-tolerant systems

Location
Access Content Online
Cover image for Formal techniques in real-time and fault-tolerant systems

Formal techniques in real-time and fault-tolerant systems

Location Call # Status
Joyner - General Stacks QA76.54 .F75 2002 ✔ Available
Cover image for Correct system design

Correct system design

  • 1999
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.9.S88 C678 1999 ✔ Available
Cover image for Correct system design

Correct system design

  • 1999
  • Format: Electronic
Location
Access Content Online
Cover image for Nets, terms and formulas

Nets, terms and formulas

Location Call # Status
Joyner - General Stacks QA76.6.O4X 1991 ✔ Available
Cover image for Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Location Call # Status
Joyner - General Stacks QA76.76.V47 A67 1991 ✔ Available