Automated Technology for Verification and Analysis Chao Wang
Titel: Automated Technology for Verification and Analysis, Untertitel: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Einband: Taschenbuch, Autor: Chao Wang, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 576, Maße: 235x155x31 mm, Gewicht: 861 g, Verkäufer: buch-mimpf, Schlagworte: Compiler Übersetzer (EDV) Datensicherheit / Netz EDV / Theorie / Sicherheit EDV / Theorie / Software-Entw. / Software Engineering Informatik Mathematik / Informatik, Computer Artificial Intelligence Markov chains Neural Networks Probability Software Engineering Software Evaluation Specifications formal logic formal methods model checker model checking temporal logic verification.
Jetzt bei Ebay:
