Formal Techniques in Real-Time and Fault-Tolerant Systems Hans Rischel
74,89 €
Titel: Formal Techniques in Real-Time and Fault-Tolerant Systems, Untertitel: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, Einband: Taschenbuch, Autor: Hans Rischel, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 356, Maße: 235x155x20 mm, Gewicht: 540 g, Verkäufer: buch-mimpf, Schlagworte: Betriebssystem (EDV) Operating System Programmiersprachen Prozessor / Mikroprozessor Fault-Tolerant Systems formal verification logic model checking real-time systems analysis temporal logics verification.
Jetzt bei Ebay:
