Runtime Verification Giles Reger
53,49 €
Titel: Runtime Verification, Untertitel: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, Einband: Taschenbuch, Autor: Giles Reger, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 452, Maße: 235x155x25 mm, Gewicht: 680 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Dynamic analysis Hardware Monitoring Program Instrumentation Program Specification Programming languages Semantics Software Engineering Specification Mining fault protection logging model checking runtime monitoring runtime verification temporal logic verification.
Jetzt bei Ebay:
