|  |
 |
| Artikel-Nr.: 5667A-9783030325046 Herst.-Nr.: 9783030325046 EAN/GTIN: 9783030325046 |
| |
|
|  |  |
 | 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings Weitere Informationen:  |  | Author: | Robert Mark Hierons; Mohamed Mosbah | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, concurrency, software verification, logic, logic and verification, model checking, real-time systems, security and privacy, semantics and reasoning, image processing, semantics, neural networks |
|  |  |
| |