Dependable Software Engineering. Theories, Tools, and Applications Kim Guldstran
Titel: Dependable Software Engineering. Theories, Tools, and Applications, Untertitel: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, Einband: Taschenbuch, Autor: Kim Guldstrand Larsen, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 372, Maße: 235x155x21 mm, Gewicht: 563 g, Verkäufer: buch-mimpf, Schlagworte: Datenverarbeitung / Anwendungen / Mathematik, Statistik EDV / Theorie / Programmieren / Allgemeines EDV / Theorie / Software-Entw. / Software Engineering Modellieren (allgemein) - Modellierung Formal Tools and Applications Modeling and Verification Probabilistic and statistical analysis Software Engineering cyber-physical systems formal languages and automata theory formal methods program analysis timed and hybrid models.
Jetzt bei Ebay:
