MPG.eBooks - Author Search Results

Cover Image

1

On the Construction of Engineering Handbooks : with an Illustration from the Railway Safety Domain

by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus
Published 2020

Springer International Publishing

Cover Image

2

Formal Methods for Software Engineering : Languages, Methods, Application Domains

by Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo
Published 2022

Springer International Publishing

Cover Image

3

Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Published 2021

Springer International Publishing

Other Authors: “...Roggenbach, Markus...”

Cover Image

4

Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Other Authors: “...Roggenbach, Markus...”

Cover Image

5

Formal Methods – Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

Published 2021

Springer International Publishing

Other Authors: “...Roggenbach, Markus...”

Cover Image

6

Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Published 2023

Springer Nature Switzerland

Other Authors: “...Roggenbach, Markus...”

Cover Image

7

Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Roggenbach, Markus...”