Handbook of Model Checking

Full text!
Type:
e-book
Titel:
Handbook of Model Checking
Auteur:
Clarke; Bloem, Roderick; Henzinger, Thomas A.; Veith, Helmut
Taal:
Engels
Uitgever:
Springer International Publishing 2018
ISBN:
3-319-10574-4
3-319-10575-2
Permalink:
http://bibtest.howest.be/catalog/ebk03:4100000004243430