Alexander Raschke

No bio available. Add one in Open Library.

Books by Alexander Raschke (50 max)

+ shelf+ list

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

2020

Alexander Raschke, Dominique Méry, Frank Houdek

+ shelf+ list

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2016

Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl

+ shelf+ list

Modeling Companion for Software Practitioners

2018

Egon Börger, Alexander Raschke

+ shelf+ list

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

2021

Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe