bib.howest.be Zoekresultaten

U zocht naar: Auteur Alexander Raschke

1 - 5 van 5

1. Abstract State Machines, Alloy, B, TLA, VDM, and Z

Auteur:: Butler; Alexander Raschke; Klaus Reichl; Thai Son Hoang; Hoang, Thai Son; Raschke, Alexander; Reichl, Klaus
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Modeling Companion for Software Practitioners

Auteur:: Börger; Raschke, Alexander
Uitgever:: Springer Berlin Heidelberg 2018
Type:: e-book

3. Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Auteur:: Raschke, Alexander; Méry, Dominique
Uitgever:: Springer International Publishing 2021
Type:: e-book

4. Rigorous State-Based Methods

Auteur:: Raschke, Alexander; Houdek, Frank; Méry, Dominique
Uitgever:: Springer International Publishing 2020
Type:: e-book

5. Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Auteur:: Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter
Uitgever:: Springer International Publishing 2021
Type:: e-book