
Logic-Based Program Synthesis and Transformation
29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Synopsis
Om denne bog
- Sprog:English
- ISBN:9783030452605
- Udgivelsesdato:21. apr. 2020
- Udgiver:Springer International Publishing
- Tryk:Springer
- Filformat:EPUB3
- Filstørrelse:17.20 MB
- Downloadmuligheder:EPUB3 (Adobe DRM)