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
Gesponsert
Galaxus.de
Logic-Based Program Synthesis and Transformation, Fachbücher von Pedro Lopez-Garcia, Manuel V Hermenegildo
Galaxus.de
26-07-2026 05:11:17
SpringerLink DE 
