Start Over
You searched for: author Olderog, Ernst-Rüdiger.

Search Results

Cover image for Provably Correct Systems

Provably Correct Systems

Location
Access Content Online
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 Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Location
Access Content Online
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
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 Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Location
Access Content Online
Cover image for Medical data analysis

Medical data analysis

  • 2000
  • Format: Electronic
Location
Access Content Online
Cover image for A true copy of a letter from Count Starembergh,

A true copy of a letter from Count Starembergh,

Location
Access Content Online