|  |
| |
| Artikel-Nr.:
858A-9783031442667 Herst.-Nr.:
9783031442667 EAN/GTIN:
9783031442667 |
| |
|
| | |
| 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings Weitere Informationen: | | Author: | Panagiotis Katsaros; Laura Nenzi | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, runtime verification, runtime monitoring, formal specification, program instrumentation, runtime enforcement, algorithm analysis and problem complexity, neural networks, learning-enabled systems, temporal logic, software engineering, cyber-physical systems |
| | |
| |