Automated Technology for Verification and Analysis Oleg Sokolsky
Titel: Automated Technology for Verification and Analysis, Untertitel: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, Einband: Taschenbuch, Autor: Oleg Sokolsky, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 588, Maße: 235x155x32 mm, Gewicht: 879 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Correlation Analysis Embedded Systems Finite Automata Machine Learning Software Design Software Engineering Verification and Validation architecting architecture verification and validation automata theory formal languages formal logic linguistics mathematics model checking software quality temporal logic theoretical computer science verification.
Jetzt bei Ebay:
