Runtime Verification Dejan Ni¿kovi¿
Titel: Runtime Verification, Untertitel: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, Einband: Taschenbuch, Autor: Dejan Ni¿kovi¿, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 560, Maße: 235x155x30 mm, Gewicht: 838 g, Verkäufer: buch-mimpf, Schlagworte: Algorithm analysis and problem complexity Artificial Intelligence Embedded Systems Object-oriented programming Robotics Signal Processing Software Design Software Engineering architecture verification and validation computer programming distributed computer systems formal logic mobile robots model checking parallel processing systems software architecture software quality temporal logic verification.
Jetzt bei Ebay:
