Automated Technology for Verification and Analysis K. Narayan Kumar
53,49 €
Titel: Automated Technology for Verification and Analysis, Untertitel: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Einband: Taschenbuch, Autor: K. Narayan Kumar, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 504, Maße: 235x155x28 mm, Gewicht: 756 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Artificial Intelligence Hoare logic Programming languages Software Engineering Stochastic Control computer architecture formal logic formal methods hybrid systems logic and verification modal and temporal logics software verification and validation static analysis verification by model checking.
Jetzt bei Ebay:
