Automated Technology for Verification and Analysis Yu-Fang Chen
53,49 €
Titel: Automated Technology for Verification and Analysis, Untertitel: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, Einband: Taschenbuch, Autor: Yu-Fang Chen, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 564, Maße: 235x155x31 mm, Gewicht: 844 g, Verkäufer: buch-mimpf, Schlagworte: Algorithm analysis and problem complexity Programming languages Semantics Software Engineering Software Evaluation Specifications Stochastic Systems Synthesis automata cyber-physical systems formal logic model checking program analysis runtime verification techniques software testing temporal logic verification.
Jetzt bei Ebay:
