1
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
عام:
2009
اللغة:
english
ملف:
PDF, 2.10 MB
0 / 0
english, 2009
2
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rudiger Olderog, Henning Dierks
عام:
2008
اللغة:
english
ملف:
PDF, 12.36 MB
0 / 0
english, 2008
3
Real-Time Systems: Formal Specification and Automatic Verification

Real-Time Systems: Formal Specification and Automatic Verification

Ernst-Rüdiger Olderog, Henning Dierks
عام:
2008
اللغة:
english
ملف:
PDF, 1.73 MB
0 / 0
english, 2008
4
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
عام:
1997
اللغة:
english
ملف:
PDF, 9.05 MB
0 / 0
english, 1997
6
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
عام:
1982
اللغة:
english
ملف:
DJVU, 4.66 MB
0 / 0
english, 1982
7
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
عام:
1982
اللغة:
english
ملف:
PDF, 10.98 MB
0 / 0
english, 1982
9
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

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, (eds.)
عام:
2021
اللغة:
english
ملف:
PDF, 14.53 MB
0 / 0
english, 2021
10
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
عام:
2009
اللغة:
english
ملف:
PDF, 8.45 MB
0 / 0
english, 2009
11
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
عام:
1999
اللغة:
english
ملف:
PDF, 5.79 MB
0 / 0
english, 1999
12
Provably Correct Systems

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
عام:
2017
اللغة:
english
ملف:
PDF, 9.41 MB
0 / 0
english, 2017
13
Programmverifikation: Sequentielle, parallele und verteilte Programme

Programmverifikation: Sequentielle, parallele und verteilte Programme

Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)
عام:
1994
اللغة:
german
ملف:
PDF, 5.39 MB
0 / 0
german, 1994
14
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
عام:
1991
اللغة:
english
ملف:
PDF, 6.94 MB
0 / 0
english, 1991
15
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
عام:
1999
اللغة:
english
ملف:
PDF, 6.13 MB
0 / 0
english, 1999
16
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

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
عام:
2021
اللغة:
english
ملف:
EPUB, 24.75 MB
0 / 0
english, 2021
17
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

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
عام:
2021
اللغة:
english
ملف:
PDF, 14.53 MB
0 / 0
english, 2021
18
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
عام:
1999
اللغة:
english
ملف:
PDF, 5.53 MB
0 / 0
english, 1999
19
Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
عام:
1999
اللغة:
english
ملف:
DJVU, 1.59 MB
0 / 0
english, 1999
20
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

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
عام:
2021
اللغة:
english
ملف:
EPUB, 24.75 MB
0 / 0
english, 2021