Yazar
lenore d zuck
1 cilt bulundu.
Cilt sonuçları
Verification, model checking, and abstract interpretation
Lenore D. Zuck · Springer
325 sayfa · 2003
Congresses / Verification / Computer programs / Computer science / Software engineering
Yükleniyor