Yazar
Lenore Zuck
3 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
Tools and Algorithms for the Construction and Analysis of Systems
Nicolas Halbwachs, Lenore Zuck · Springer London, Limited
Sayfa sayısı yok · 2005
System design / Computer software