Model Checking
Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut VeithCatégories:
Année:
2018
Edition:
2
Editeur::
MIT Press
Langue:
english
Pages:
424
ISBN 10:
0262038838
ISBN 13:
9780262038836
Collection:
Cyber Physical Systems Series
Fichier:
EPUB, 13.56 MB
IPFS:
,
english, 2018