MPG.eBooks - Author Search Results

Cover Image

1

Modeling Companion for Software Practitioners

by Börger, Egon, Raschke, Alexander
Published 2018

Springer Berlin Heidelberg

Cover Image

2

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

Published 2021

Springer International Publishing

Other Authors: “...Raschke, Alexander...”

Cover Image

3

Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

Published 2020

Springer International Publishing

Other Authors: “...Raschke, Alexander...”

Cover Image

4

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

Published 2021

Springer International Publishing

Other Authors: “...Raschke, Alexander...”

Cover Image

5

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Published 2018

Springer International Publishing

Other Authors: “...Raschke, Alexander...”