bib.howest.be Zoekresultaten

U zocht naar: Auteur Roggenbach, Markus.

1 - 7 van 7

1. Recent Trends in Algebraic Development Techniques

Auteur:: James; Roggenbach, Markus
Uitgever:: Springer International Publishing 2017
Type:: e-book

2. Formal Methods – Fun for Everybody

Auteur:: Cerone, Antonio; Roggenbach, Markus
Uitgever:: Springer International Publishing 2021
Type:: e-book

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

Auteur:: Haxthausen, Anne E.; Huang, Wen-ling; Roggenbach, Markus
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

4. On the Construction of Engineering Handbooks

Auteur:: Gruner, Stefan; Kumar, Apurva; Maibaum, Tom; Roggenbach, Markus
Uitgever:: Springer International Publishing 2020
Type:: e-book

5. Recent Trends in Algebraic Development Techniques

Auteur:: Markus Roggenbach
Uitgever:: Springer International Publishing 2021
Type:: e-book

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

Auteur:: Roggenbach, Markus.; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

7. Algebra and Coalgebra in Computer Science

Auteur:: Fiadeiro, José Luiz; Kanade, Takeo; Harman, Neil; Roggenbach, Markus; Rutten, Jan; Fiadeiro, José Luis
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book