Automated Technology for Verification and Analysis S. Akshay
139,09 €
Titel: Automated Technology for Verification and Analysis, Untertitel: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I, Einband: Taschenbuch, Autor: S. Akshay, Verlag: Springer Nature Switzerland, Springer Nature Switzerland, Sprache: Englisch, Seiten: 324, Maße: 235x155x18 mm, Gewicht: 493 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:
