Eintrag weiter verarbeiten
Buchumschlag von Formal techniques in real-time and fault-tolerant systems: 5th international Symposium, FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998; proceedings
Verfügbar über lokaler Bestand

Formal techniques in real-time and fault-tolerant systems: 5th international Symposium, FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998; proceedings

Gespeichert in:

Personen und Körperschaften: Ravn, Anders Peter (HerausgeberIn), FTRTFT 5 1998 Lyngby (Sonstige)
Titel: Formal techniques in real-time and fault-tolerant systems: 5th international Symposium, FTRTFT '98, Lyngby, Denmark, September 14 - 18, 1998; proceedings/ Anders P. Ravn ... (eds.)
Medientyp: Buch Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg [u.a.] Springer 1998
Gesamtaufnahme: Lecture notes in computer science ; 1486
Schlagwörter:
Real-time data processing > Congresses
Fault-tolerant computing > Congresses
Konferenzschrift > 1998 > Lyngby-Tårbæk
Online-Ausg.: Ravn, Anders P., Formal Techniques in Real-Time and Fault-Tolerant Systems, Berlin, Heidelberg : Springer Berlin Heidelberg, 1998, Online-Ressource
Quelle: Verbunddaten SWB

Online

Inhaltsverzeichnis
Kapitel 1
Cover

Universitätsbibliothek

Verfügbar Bestellung
Barcode: F:685920
Regalstandort: SS 4800 1486
Literaturabteilung: Freihand
Anmerkungen:
  • Verfügbar