کتاب های Helmut Veith
کتاب های نویسنده
صفحه ۱ از ۱ در بین ۶ کتاب.
DJVU
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008PDF
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008PDF
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010PDF
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010PDF
Handbook of Model Checking
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.), 2018EPUB
