Alexander Raschke

Alexander Raschke

2 books in the database

Books

Rigorous State-Based MethodsAlexander Raschke

Rigorous State-Based Methods

Alexander Raschke · 2021

Logic, Computation and Rigorous MethodsAlexander Raschke

Logic, Computation and Rigorous Methods

Alexander Raschke · 2021

Co-authored books and collections

Books that list Alexander Raschke among their authors but not as the lead author: co-written works, collections and compilations.

Modeling Companion for Software PractitionersEgon Börger

Modeling Companion for Software Practitioners

Egon Börger · 2018

Abstract State Machines, Alloy, B, TLA, VDM, and ZMichael Butler

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler · 2016