Home Advanced Search

Advanced Search - Page 1

Correct System Design: Recent Insights and Advances
  • DJVU
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Correct System Design: Recent Insights and Advances
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Correct System Design: Recent Insights and Advances
  • PDF
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
  • EPUB
  • English
  • Year: 2021
  • Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2021
  • Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981
  • PDF
  • English
  • Year: 1982
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 1997
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 1991
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
Programmverifikation: Sequentielle, parallele und verteilte Programme
  • PDF
  • German
  • Year: 1994
  • Author: Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)
STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Bernhard Steffen (auth.), Rüdiger Reischuk, Michel Morvan (eds.)
search