Logic-Based Program Synthesis and Transformation Pedro Lopez-Garcia
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, Einband: Taschenbuch, Autor: Pedro Lopez-Garcia, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 380, Maße: 235x155x21 mm, Gewicht: 575 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines Algorithm analysis and problem complexity Constraint Programming Haskell Language Logic Programming Program Verification Semantics System description languages logic and verification logic programs model checking program analysis program semantics program specifications programming logic specification languages verfification.
Jetzt bei Ebay:
