Alexander Raschke
Identifiers
- Open LibraryOL7964531A
Books by Alexander Raschke
Total count: 4
-
Modeling Companion for Software PractitionersSpringer Nature2018-01-01
Abstract State Machines, Alloy, B, TLA, VDM, and Z6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, ProceedingsSpringer2018-05-08
Rigorous State-Based Methods7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, ProceedingsSpringer2020-05-15-
Logic, Computation and Rigorous MethodsEssays Dedicated to Egon Börger on the Occasion of His 75th BirthdaySpringer International Publishing AG2021-01-01