Home Advanced Search

Advanced Search - Page 1

Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 2009
  • Author: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.)
Verification of sequential and concurrent programs
  • PDF
  • English
  • Year: 2009
  • Author: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 2009
  • Author: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (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
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.)
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981
  • DJVU
  • English
  • Year: 1982
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Programmverifikation: Sequentielle, parallele und verteilte Programme
  • PDF
  • German
  • Year: 1994
  • Author: Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)
search