Alexander Raschke

Sách
Logic, Computation and Rigorous Methods Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods
2021
Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
2020
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018