Home > Authors > Klaus-Dieter Schewe

Klaus-Dieter Schewe

All books by Klaus-Dieter Schewe

(Displaying 3 Books)

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Yamine Ait Ameur

ABZ 2014 : The Landing Gear Case Study

ABZ 2014 : The Landing Gear Case Study

Frederic Boniol

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Bernhard Thalheim

Looking for another book by Klaus-Dieter Schewe? Search for the book by title.