|  |
| |
| Artikel-Nr.:
5667A-9783030217587 Herst.-Nr.:
9783030217587 EAN/GTIN:
9783030217587 |
| |
|
| | |
| 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings Weitere Informationen: | | Author: | Jorge A. Pérez; Nobuko Yoshida | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, artificial intelligence, distributed computer systems, distributed systems, embedded systems, formal logic, formal methods, model checking, programming languages, semantics, software engineering, software evaluation |
| | |
| |