Yazar
doron a peled
12 cilt bulundu.
Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled · MIT Press
377 sayfa · 1999
Datenverarbeitungssystem / Computersystemen / Engenharia de software / Modellen / Verificação e validação de software
Doron A. Peled · Springer
331 sayfa · 2001
Reliability / Computer software / Computer software, reliability / Computers & the internet / Computer science
Doron A. Peled · Springer
506 sayfa · 2005
Logic design / Computer networks / Computer science / Software engineering / Information storage and retrieval systems
Doron A. Peled · Springer
Sayfa sayısı yok · 2010
Logic design / Computer science / Verification / Computer software
Rajeev Alur, Doron A. Peled · Springer
536 sayfa · 2004
COMPUTERS / Systems Architecture / General / Congresses / Verification
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck · Springer London, Limited
Sayfa sayısı yok · 2008
Kategori yok