×

zbMATH — the first resource for mathematics

Found 35 Documents (Results 1–3)

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 313-328 (2015).
MSC:  68N30
BibTeX Cite
Full Text: DOI
WorldCat.org
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer (ISBN 978-3-319-15544-9/pbk). Lecture Notes in Computer Science 8950, 355-376 (2015).
MSC:  68N30 68Qxx 68T05
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software