Treffer: Formal techniques in real time and fault tolerant systems

Titel:

Formal techniques in real time and fault tolerant systems : 6th international symposium ; proceedings / FTRTFT 2000, Pune, India, September 20 - 22, 2000. Mathai Joseph (ed.)

Verantwortlich:

Körperschaft:

Veröffentlicht:

Berlin : Springer, 2000

Umfang:

X, 303 Seiten : Diagramme ; 24 cm

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 1926
alle Bände anzeigen

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540410554

Zusatz-Informationen