Automated Technology for Verification and Analysis Ahmed Bouajjani
80,24 €
Titel: Automated Technology for Verification and Analysis, Untertitel: 20th International Symposium, ATVA 2022, Virtual Event, October 25¿28, 2022, Proceedings, Einband: Taschenbuch, Autor: Ahmed Bouajjani, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: architecting architecture nd validation Artificial Intelligence automata automata theory computational linguistics Computer Systems databases Embedded Systems Finite Automata linguistics mathematics model checking software architecture Software Design Software Engineering theoretical computer science Verification and Validation.
Jetzt bei Ebay:
