|  |
| |
| Artikel-Nr.:
858A-9783662545799 Herst.-Nr.:
9783662545799 EAN/GTIN:
9783662545799 |
| |
|
| | |
| The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Weitere Informationen: | | Author: | Axel Legay; Tiziana Margaria | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Algorithmus, Compiler, Übersetzer (EDV), EDV / Theorie / Software-Entw. / Software Engineering, Mathematik / Informatik, Computer, Programmiersprachen, Schnittstelle (EDV), temporal logic, artificial intelligence, computer programming languages, computer software selection and evaluation |
| | |
| |