Search

You searched for: Auteur Roggenbach, Markus. Remove constraint Auteur: Roggenbach, Markus.
1 - 7 of 7
Number of results to display per page

Search Results

1. Recent Trends in Algebraic Development Techniques
thumbnail
Full text!
Author:
James; Roggenbach, Markus
Publisher:
Springer International Publishing 2017
Format:
e-book
2. Formal Methods – Fun for Everybody
thumbnail
Full text!
Author:
Cerone, Antonio; Roggenbach, Markus
Publisher:
Springer International Publishing 2021
Format:
e-book
3. Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
thumbnail
Full text!
Author:
Haxthausen, Anne E.; Huang, Wen-ling; Roggenbach, Markus
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
4. On the Construction of Engineering Handbooks
thumbnail
Full text!
Author:
Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus
Publisher:
Springer International Publishing 2020
Format:
e-book
5. Recent Trends in Algebraic Development Techniques
thumbnail
Full text!
Author:
Markus Roggenbach
Publisher:
Springer International Publishing 2021
Format:
e-book
6. Formal Methods for Software Engineering : Languages, Methods, Application Domains
thumbnail
Full text!
Author:
Roggenbach, Markus.; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
7. Algebra and Coalgebra in Computer Science
thumbnail
Full text!
Author:
Fiadeiro, José Luiz; Kanade, Takeo; Harman, Neil; Roggenbach, Markus; Rutten, Jan; Fiadeiro, José Luis
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book