Helmut Veith

Helmut Veith is the author of "Model Checking, Second Edition", "Handbook of Model Checking", "Logic for Programming, Artificial Intelligence, and Reasoning" and "Model Checking".

Books by Helmut Veith

25 Years of Model...
Grumberg Orna
Electronic book text: $49.99

Computer Science ...
Dawar Anuj
Paperback:

Model Checking
Jr., Edmund M. Clar...
Digital download and online: $75.00

Computer Science ...
Dawar Anuj
Paperback: $54.99