Logic-Based Program Synthesis and Transformation Moreno Falaschi
53,49 €
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, Einband: Taschenbuch, Autor: Moreno Falaschi, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 404, Maße: 235x155x22 mm, Gewicht: 610 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Access control Answer Set Programming Program Synthesis abstract analysis concurrency constraint logic programming declarative debugging program analysis.
Jetzt bei Ebay:
