Model-Based Testing of Reactive Systems Manfred Broy
53,49 €
Titel: Model-Based Testing of Reactive Systems, Untertitel: Advanced Lectures, Einband: Taschenbuch, Autor: Manfred Broy, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 652, Maße: 235x155x35 mm, Gewicht: 972 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Testmethoden Programmieren (EDV) / Entwicklung Finite-state machines Hardware verification Model-Based Testing Reactive Systems UML Unified Modeling Language (UML) algorithms automata formal methods formal testing methods hybrid systems model checking software testing software verification systems verification.
Jetzt bei Ebay:
