Automated Technology for Verification and Analysis Vijay Ganesh
Titel: Automated Technology for Verification and Analysis, Untertitel: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, Einband: Taschenbuch, Autor: Vijay Ganesh, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 400, Maße: 235x155x22 mm, Gewicht: 604 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Hardware Computer Systems Embedded Systems FPGA Field Programmable Gate Array Signal Processing Software Design Software Engineering architecture verification and validation automata theory computer networks formal languages formal logic model checking network protocols software architecture theoretical computer science.
Jetzt bei Ebay:
