Home Advanced Search

Advanced Search - Page 1

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
  • DJVU
  • English
  • Year: 1991
  • Author: E. -R. Olderog
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
  • PDF
  • English
  • Year: 1991
  • Author: E.-R. Olderog
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
Correct System Design: Recent Insights and Advances
  • DJVU
  • English
  • Year: 1999
  • Author: C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 2009
  • Author: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
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.)
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.)
Verification of sequential and concurrent programs
  • PDF
  • English
  • Year: 2009
  • Author: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
search