Iname Books

Discover Books & Audiobooks you will love!

Popular by Alexander Raschke Elvinia Riccobene Klaus Dieter Schewe

Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods
Alexander Raschke, Elvinia Riccobene & Klaus-Dieter Schewe
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Alexander Raschke, Thai Son Hoang & Klaus Reichl
Rigorous State-Based Methods
Rigorous State-Based Methods
Alexander Raschke, Dominique Méry & Frank Houdek