Yazar
Antti Valmari
2 cilt bulundu.
Cilt sonuçları
Model Checking Software
Antti Valmari · Springer
307 sayfa · 2006
SPIN (Computer file) / Congresses / Verification / Computer software
Yükleniyor
Yükleniyor
Yazar
2 cilt bulundu.
Antti Valmari · Springer
307 sayfa · 2006
SPIN (Computer file) / Congresses / Verification / Computer software