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 H. Langmaack ... (eds.)
Materialtyp:
TextSprache: Englisch Reihen: ; 86300 | Lecture notes in computer science ; 863Verlag: Berlin Heidelberg [u.a.] Springer 1994Beschreibung: XIV, 787 S. graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540584684
- real-time fault-tolerant
- SS 4800
- *00B25
- 68-06
- 54.33
- 54.53
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 863 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000007663 |
Regale von HOMEBRANCH: Max-Planck-Institut für Informatik durchstöbern, Standort: Series (GF), Sammlung: Campusbibliothek für Informatik und Mathematik (E2 3) Regalbrowser ausblenden (Regal ausblenden)
Literaturangaben
Formal techniques in real-time and fault-tolerant systems
Langmaack, Hans, 1934 - : Formal Techniques in Real-Time and Fault-Tolerant Systems
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31