Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
Online
Konferenzschrift, Sammelwerk, Elektronische Ressource
- 1 Online-Ressource (XVI, 261 p. 606 illus., 228 illus. in color)
Ermittle Ausleihstatus...
Titel: |
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
|
---|---|
Verantwortlichkeitsangabe: | edited by Maurizio Gabbrielli |
Autor/in / Beteiligte Person: | Gabbrielli, Maurizio |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Ausgabe: | 1st ed. 2020 |
Veröffentlichung: | Cham: Springer International Publishing, Imprint: Springer, 2020 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Elektronische Ressource |
Umfang: | 1 Online-Ressource (XVI, 261 p. 606 illus., 228 illus. in color) |
ISBN: | 9783030452605 |
DOI: | 10.1007/978-3-030-45260-5 |
Schlagwort: |
|
Sonstiges: |
|