Ebooks d'Helmut Veith en PDF

1 Livre(s)
Télécharger le livre : Handbook of Model Checking
Ajouter à ma liste d'envies
Handbook of Model Checking
Roderick Bloem , Edmund M. Clarke , Thomas A. Henzinger , Helmut Veith
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, hardware design, and theoretical computer science, model...

Editeur : Springer
Parution : 2018-05-18

PDF

147,69 €