Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Der Band aus dem LOPSTR‑Symposium 2016 in Edinburgh sammelt neueste Erkenntnisse zur logikbasierten Programmsynthese, bietet tiefe theoretische Analysen und praxisorientierte Beispiele für die Transformation von Software.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Logic-Based Program Synthesis and Transformation, Fachbücher von Manuel V Hermenegildo, Pedro Lopez-Garcia
Galaxus.de
21-04-2026 20:19:47
