| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings | 978-3-540-28620-2 | 2008 | Jan Rutten · Neil Harman · Jos?? Luis Fiadeiro |
| Formal Methods for Software Engineering: Languages, Methods, Application Domains | 978-3-030-38799-0 | 2020 | Antonio Cerone · Bernd-Holger Schlingloff · Gerardo Schneider · Siraj Ahmed Shaikh |
| On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain | 978-3-030-44647-5 | 2020 | Stefan Gruner · Apurva Kumar · Tom Maibaum |
| Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised ... Notes in Computer Science, Band 10644) | 978-3-319-72043-2 | 2017 | Phillip James |
m r · Markus Rauschenberger · Markus Rauschnabel · Markus Rosenbaum · Markus Rosenberg · Markus Rüsenberg