Yazar
Doron Peled
16 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
Nicolas Halbwachs, Doron Peled · Springer London, Limited
506 sayfa · 1999
Enginyeria del software / Disseny lògic / Congressos / Llenguatges formals / Computer software, verification
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
Cyrille Artho, Axel Legay, Doron Peled · Springer
541 sayfa · 2016
Artificial intelligence / Automatic theorem proving
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck · Springer London, Limited
Sayfa sayısı yok · 2008
Kategori yok
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · MIT Press
424 sayfa · 2018
Sat (educational test) / Models and modelmaking
Galia Doron, ʻAnat Peled, Alon Ḳlebanov, Makhon li-yediʻat ha-arets ṿeha-ʻam ʻal shem Ḥayim Avshalom · Mekhon Avshalom
29 sayfa · 2011
Description and travel