Thomas Wies

Thomas Wies is the author of "Programming Languages and Systems", "Automated Verification of Concurrent Search Structures", "Verification, Model Checking, and Abstract Interpretation" and "Verified Software. Theories, Tools, and Experiments".

Books by Thomas Wies

Automated Verific...
Krishna, Siddharth
Paperback: $69.95

Automated Verific...
Wieske, Thomas
Paperback: $69.99

Programming Langu...
Wies Thomas
Paperback: $49.99

Automated Verific...
Krishna, Siddharth
Hardback: