Alexander Raschke

No counted ratings yet

1 book

No biography yet.

Books

Sorted by popularity.

Abstract State Machines, Alloy, B, TLA, VDM, and ZMichael Butler, Alexander Raschke et al.
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Alexander Raschke, Thai Son Hoang · 2016 · 436 pages
Want to read