Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
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
Yamine Ait Ameur
ABZ 2014 : The Landing Gear Case Study
Frederic Boniol
Correct Software in Web Applications and Web Services
Bernhard Thalheim
Looking for another book by Klaus-Dieter Schewe?
Search for the book
by title.