Formal Modeling and Analysis of Timed Systems Nils Jansen
53,49 €
Titel: Formal Modeling and Analysis of Timed Systems, Untertitel: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings, Einband: Taschenbuch, Autor: Nils Jansen, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 312, Maße: 235x155x17 mm, Gewicht: 476 g, Verkäufer: buch-mimpf, Schlagworte: Computer Systems Data-driven Methods Embedded Systems Logics Probabilities Semantics Software Design Software Engineering architecting automata theory constraint solving formal methods mathematics model checking performance analysis scheduling timed systems verification.
Jetzt bei Ebay:
