Model Checking, Second Edition
Model Checking, Second Edition
2018 • 424 sayfa
Yazan Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
0
0
Bu cilt için açıklama henüz yok.
Raf ilerlemesi
Model Checking, Second Edition
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
0%0 / 424 sf
—
Tüm yorumlar
0Bu cilt için henüz görünür yorum yok.
Puanın