Formal Techniques in Real-Time and Fault-Tolerant Systems Joachim Parrow
96,29 €
Titel: Formal Techniques in Real-Time and Fault-Tolerant Systems, Untertitel: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings, Einband: Taschenbuch, Autor: Joachim Parrow, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 500, Maße: 235x155x27 mm, Gewicht: 750 g, Verkäufer: buch-mimpf, Schlagworte: Echtzeit Real-time Realzeit EDV / Theorie / Allgemeines Fehler - Mangel Toleranz (technisch) Echtzeit-Systeme Fault-Tolerant Systems Fehlertoplerante Systeme Formale Methoden Sicherheitsrelevanter Systementwurf Software Architektur Variable automata formal method formal methods formal verification kernel real-time systems system verification.
Jetzt bei Ebay:
