Search

You searched for: Auteur Alexander Raschke Remove constraint Auteur: Alexander Raschke
1 - 5 of 5
Number of results to display per page

Search Results

1. Abstract State Machines, Alloy, B, TLA, VDM, and Z
thumbnail
Full text!
Author:
Butler; Alexander Raschke; Klaus Reichl; Thai Son Hoang; Hoang, Thai Son; Raschke, Alexander; Reichl, Klaus
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Modeling Companion for Software Practitioners
thumbnail
Full text!
Author:
Börger; Raschke, Alexander
Publisher:
Springer Berlin Heidelberg 2018
Format:
e-book
3. Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
thumbnail
Full text!
Author:
Raschke, Alexander; Méry, Dominique
Publisher:
Springer International Publishing 2021
Format:
e-book
4. Rigorous State-Based Methods
thumbnail
Full text!
Author:
Raschke, Alexander; Houdek, Frank; Méry, Dominique
Publisher:
Springer International Publishing 2020
Format:
e-book
5. Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
thumbnail
Full text!
Author:
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter
Publisher:
Springer International Publishing 2021
Format:
e-book