Verification, Model Checking, and Abstract Interpretation Damien Zufferey
Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings, Einband: Taschenbuch, Autor: Damien Zufferey, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 488, Maße: 235x155x27 mm, Gewicht: 733 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Systems Embedded Systems Engineering Software Design Software Engineering Verification and Validation architecture verification and validation computer programming data structures distributed computer systems formal logic graph theory mathematics model checking parallel processing systems software architecture software quality theoretical computer science verification.
Jetzt bei Ebay:
