Model Checking Software


Model Checking Software

Bernd Fischer, Jaco Geldenhuys, "Model Checking Software"
2015 | pages: 322 | ISBN: 331923403X | PDF | 11,4 mb

Download Now

Model Checking and Artificial Intelligence


Model Checking and Artificial Intelligence

Stefan Edelkamp, Alessio Lomuscio, "Model Checking and Artificial Intelligence"
2007 | pages: 192 | ISBN: 3540741275 | PDF | 3,0 mb

Download Now

Deciding What's True: The Rise of Political Fact-Checking in American Journalism

Deciding What's True: The Rise of Political Fact-Checking in American Journalism

Deciding What's True: The Rise of Political Fact-Checking in American Journalism by Lucas Graves
2016 | ISBN: 023117506X, 0231175078 | English | 336 pages | EPUB | 2 MB
Download Now

Verification, Model Checking, and Abstract Interpretation


Verification, Model Checking, and Abstract Interpretation

Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen, "Verification, Model Checking, and Abstract Interpretation"
2015 | pages: 482 | ISBN: 3662460807 | PDF | 10,5 mb

Download Now

25 Years of Model Checking: History, Achievements, Perspectives


25 Years of Model Checking: History, Achievements, Perspectives
Orna Grumberg, Helmut Veith - 25 Years of Model Checking: History, Achievements, Perspectives
Published: 2008-07-18 | ISBN: 3540698493 | PDF | 234 pages | 41.36 MB
Download Now

Sitemap