×

zbMATH — the first resource for mathematics

Found 23 Documents (Results 1–3)

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23505-9/pbk; 978-3-319-23506-6/ebook). Lecture Notes in Computer Science 9360, 44-61 (2015).
MSC:  68N30 68Q60 68Q85
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, 46-61 (2015).
MSC:  68N30 68Qxx 68T05
BibTeX Cite
Full Text: DOI arXiv
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification