Automated Technology for Verification and Analysis S. Akshay
160,49 €
Titel: Automated Technology for Verification and Analysis, Untertitel: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II, Einband: Taschenbuch, Autor: S. Akshay, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 296, Maße: 235x155x17 mm, Gewicht: 452 g, Verkäufer: buch-mimpf, Schlagworte: Computer-Aided Verification SAT solvers SMT solvers Safe Machine Learning automated reasoning cyber-physical systems formal methods formal verification model checking program analysis software analysis theorem proving.
Jetzt bei Ebay:
