👤

Alexander Raschke

3 books

Books by Alexander Raschke

Logic, Computation and Rigorou
Logic, Computation and Rigorous Methods
2021
Modeling Companion for Software Practitioners
Modeling Companion for Software Practitioners
2018
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016