Helmut Veith

Helmut Veith

1 ספרים במאגר

ספרים

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 ProceedingsHelmut Veith

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings

Helmut Veith · 2008

ספרים משותפים ואוספים

ספרים שבהם Helmut Veith מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Computer Aided VerificationNatasha Sharygina

Computer Aided Verification

Natasha Sharygina · 2013

Handbook of Model CheckingEdmund M. Clarke

Handbook of Model Checking

Edmund M. Clarke · 2018

Model Checking, Second EditionOrna Grumberg

Model Checking, Second Edition

Orna Grumberg · 2018

Computer Science LogicAnuj Dawar

Computer Science Logic

Anuj Dawar · 2010

25 Years of Model CheckingOrna Grumberg

25 Years of Model Checking

Orna Grumberg · 2008