 |
 |
|
|
 |
|
|
|
1 - 10 von 67
  |
|
 |
Ihre Aktion |
Suchen (Alle Wörter (XALL)) langmaack
|
|
|
|
|
 |
1. |
Formal techniques in real time and fault tolerant systems : Third International Symposium, organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19 - 23, 1994, proceedings
Langmaack, Hans *1934-*. - Berlin : Springer, 1994
H. Langmaack, W.-P. de Roever J. Vytopil (Eds.) Formal Techniques in Real-Time and Fault-Tolerant ...
|
|
|
|
2. |
Informatik: Programmierung
Kandzia, Peter *1938-2023*. - Stuttgart : Teubner, 1973
... Universität des Saarlandes und Dr. rer. nat. H. LANGMAACK o. Professor ah der Universität des Saarlandes ...
|
|
|
|
3. |
Kirchenmusik und Kirchenraum
Gurlitt, Wilibald
|
|
|
|
4. |
Der Einfluß der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer Zusätze
Langmaack, Hans Juergen. - 1974
|
|
|
 |
5. |
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Langmaack, Hans *1934-*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
|
|
|
|
6. |
Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19 - 23, 1994 ; proceedings
Langmaack, Hans. - Online-Ausg.. - Berlin [u.a.] : Springer, 1994
H. Langmaack, W.-P. de Roever J. Vytopil (Eds.) Formal Techniques in Real-Time and Fault-Tolerant ...
|
|
|
|
7. |
Implementierung PASCAL-artiger Programmiersprachen
Langmaack, Hans *1934-*. - Stuttgart : Teubner, 1982
|
|
|
|
8. |
Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control
Abrial, Jean-Raymond. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
9. |
VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Bjorner, Dines. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1990
|
|
|
|
10. |
Handbook for automatic ... / Vol. 1, Pt. b, Translation of ALGOL 60
Grau, Albert A. *1916-*. - 1967
|
|
|
|
|
|
|
1 - 10 von 67
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| langmaack |
|
Alle Wörter (XALL) |
|
121 |
|
|
|
|
|
|
|
1 - 10 von 67
|
|
|
