Logic-based program synthesis and transformation: 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, revised selected papers
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: LOPSTR Porto, Portugal (VerfasserIn)
Weitere Verfasser: Gabbrielli, Maurizio (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2020]
Schriftenreihe:Lecture notes in computer science 12042
Schlagworte:
Online-Zugang:DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Beschreibung:1 Online-Ressource (xvi, 261 Seiten) 606 Illustrationen, 228 in Farbe
ISBN:9783030452605
DOI:10.1007/978-3-030-45260-5