Verification, Model Checking, and Abstract Interpretation Thomas Wies
Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings, Einband: Taschenbuch, Autor: Thomas Wies, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 532, Maße: 235x155x29 mm, Gewicht: 797 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Hardware Computer Science Computer Systems Embedded Systems Engineering Internet Software Design Software Engineering Verification and Validation architecting architecture verification and validation computer networks computer programming formal logic mathematics model checking software architecture software quality verification.
Jetzt bei Ebay:
