Book Series – Cyber Physical Systems Series

1 product
1 product
Paper book «Model Checking», authors Daniel Kroening, Doron Peled, Edmund M. Clarke Jr., Helmut Veith, Orna Grumberg – фото №1
0
0
Model Checking
Daniel Kroening Daniel Kroening, Doron Peled, Edmund M. Clarke Jr., Helmut Veith, Orna Grumberg
Not available