Handbook of Model Checking
Herunterladen
Lieferbar innerhalb 14 Tagen
Logic for Programming, Artificial Intelligence, and Reasoning
25 Years of Model Checking
Computer Science Logic
Computer Aided Verification
Lieferbar innerhalb ca. einer Woche