Helmut Veith
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryHO
Handbook of Model Checking
cover - Image source: Open LibraryMC
Model checking
cover - Image source: Open LibraryCA
Computer Aided Verification
cover - Image source: Open LibraryLF
Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
cover - Image source: Open LibraryLF
Logic for programming artificial intelligence and reasoning
cover - MCModel Checking, Second EditionHelmut Veith
Model Checking, Second Edition
no cover - CSComputer Science LogicHelmut Veith
Computer Science Logic
no cover - 2Y25 Years of Model CheckingHelmut Veith
25 Years of Model Checking
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Handbook of Model Checking
- Open Work
Model checking
- Open Work
Computer Aided Verification
- Open Work
Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
- Open Work
Logic for programming artificial intelligence and reasoning
- Open Work
Model Checking, Second Edition
- Open Work
Computer Science Logic
- Open Work
25 Years of Model Checking