Alexander Raschke books
Logic, Computation and Rigorous Methods
Alexander Raschke, Elvinia Riccobene & Klaus-Dieter Schewe
$39.99
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Alexander Raschke, Thai Son Hoang & Klaus Reichl
$39.99
