Diverse Bücher
Handbook of Model Checking - Edmund M. Herausgegeben:Clarke, Thomas A. Henzinger, Helmut Veith
Handbook of Model Checking - Buch Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages,...
https://www.bizrate.de/diversebuecher/handbook-of-model-checking-edmund-oid38207209927.html
