×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Gibbons, Jeremy (ed.) et al., Bidirectional transformations. International summer school, Oxford, UK, July 25–29, 2016. Tutorial lectures. Cham: Springer (ISBN 978-3-319-79107-4/pbk; 978-3-319-79108-1/ebook). Lecture Notes in Computer Science 9715, 1-28 (2018).
MSC:  68N01
BibTeX Cite
Full Text: DOI
WorldCat.org
Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 1-31 (2016).
MSC:  68N30 68Q65
BibTeX Cite
Full Text: DOI
WorldCat.org
Hinze, Ralf (ed.) et al., Mathematics of program construction. 12th international conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19796-8/pbk; 978-3-319-19797-5/ebook). Lecture Notes in Computer Science 9129, 187-214 (2015).
MSC:  68N30
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Reviewing State
Author
Year of Publication
Classification
Software