Alexander Raschke

Books by Alexander Raschke

Total count: 4

• Modeling Companion for Software Practitioners

  Springer Nature2018-01-01
• 
  Abstract State Machines, Alloy, B, TLA, VDM, and Z6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

  Springer2018-05-08
• 
  Rigorous State-Based Methods7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings

  Springer2020-05-15
• Logic, Computation and Rigorous MethodsEssays Dedicated to Egon Börger on the Occasion of His 75th Birthday

  Springer International Publishing AG2021-01-01