|  |
| |
| Artikel-Nr.:
5667A-9783319998398 Herst.-Nr.:
9783319998398 EAN/GTIN:
9783319998398 |
| |
|
| | |
| 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings Weitere Informationen: | | Author: | Vlad Rusu | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Programmieren / Allgemeines, EDV / Theorie / Software-Entw. / Allgemeines, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik / Informatik, Computer, Computability and Decidability; Logic Programming; Programming languages; Semantics; Software Engineering; Specifications; formal logic, computability and decidability, formal logic, logic programming, programming languages, semantics, software engineering |
| | |
| |