Yazar
Helmut Veith
8 cilt bulundu.
Cilt sonuçları
Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
Helmut Veith · Springer
714 sayfa · 2008
Logic design / Artificial intelligence / Computer science / Software engineering / Logic programming
Computer Aided Verification
Natasha Sharygina, Helmut Veith · Springer
1037 sayfa · 2013
Computer software, verification / Software engineering / Computer science / Logic design / Logics and Meanings of Programs
Handbook of Model Checking
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · Springer
1210 sayfa · 2017
Kategori yok
Model Checking, Second Edition
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · MIT Press
424 sayfa · 2018
Sat (educational test) / Models and modelmaking