Suchergebnisse - Olderog, Ernst-Rüdiger 1955-
-
1Nets, terms and formulas: three views of concurrent processes and their relationshipVeröffentlicht 1991Buch
-
2
-
3
-
4
-
5
-
6
-
7Programmverifikation: sequentielle, parallele und verteilte ProgrammeVeröffentlicht 1994Inhaltsverzeichnis
Buch -
8
-
9Charakterisierung Hoarescher Systeme für Algol-ähnliche ProgrammiersprachenVeröffentlicht 1981Buch
-
10Fairness in parallel programs: the transformational approachVeröffentlicht 1984Per Fernleihe bestellenBuch
-
11Charakterisierung Hoarescher Systeme für ALGOL-áhnliche ProgrammiersprachenVeröffentlicht 1981Per Fernleihe bestellenBuch
-
12Verification of Sequential and Concurrent ProgramsVeröffentlicht 2009Online lesen (HM)
In der Bibliothek der Hochschule München (HM) nutzbar.
Per Fernleihe bestellenElektronisch E-Book -
13Nets, terms, and formulas: three views of concurrent processes and their relationshipVeröffentlicht 1991Online lesen (BSB)
Benutzerausweis der Bayerischen Staatsbibliothek (BSB) nötig.
Per Fernleihe bestellenElektronisch E-Book -
14
-
15
-
16Real-time systems: formal specification and automatic verificationVeröffentlicht 2008Online lesen (BSB)
Benutzerausweis der Bayerischen Staatsbibliothek (BSB) nötig.
Per Fernleihe bestellenElektronisch E-Book -
17
-
18
-
19Specification-oriented semantics for communicating processesVeröffentlicht 1985Per Fernleihe bestellenBuch
-
20