Logic-Based Program Synthesis and Transformation bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
5667A-9783319274355

Hersteller:
Springer Verlag

Herst.-Nr.:
9783319274355

EAN/GTIN:
9783319274355

Suchbegriffe:

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Weitere Informationen:


Author:	Moreno Falaschi
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, answer set programming, constraint logic programming, declarative debugging, program analysis, program synthesis, abstract analysis, access control, concurrency, description logic, formal semantics, pattern operations