 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 2 von 2 |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) real-time programming eingrenzen (Basisklassifikation (XBKL)) 54.33 |
||
| |
| |
| |
|
|
|
|
 |
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. - Online-Ausg.. - Berlin [u.a.] : Springer, 1994 |
|
| |||
 |
2. |
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 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 2 von 2 |
|
|
|
1 - 2 von 2 |
|
|||||||||||||||||||||||||