Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Se
Titel: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Untertitel: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, Einband: Taschenbuch, Autor: Sergio Yovine, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 412, Maße: 235x155x23 mm, Gewicht: 622 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Programmiersprachen Prozessor / Mikroprozessor Analysis Automat Formal Specification automata formal verification model checking modeling petri net scheduling verification.
Jetzt bei Ebay:
