Home Advanced Search

Advanced Search - Page 1

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

DJVU
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.)

Programmverifikation: Sequentielle, parallele und verteilte Programme

PDF
German
Year: 1994
Author: Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)

Provably Correct Systems

PDF
English
Year: 2017
Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

PDF
English
Year: 2002
Author: Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson (auth.), Werner Damm, Ernst -Rüdiger Olderog (eds.)

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

PDF
English
Year: 1989
Author: C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)

International Symposium on Theoretical Programming

PDF
English-French
Year: 1974
Author: C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (eds.)