Yazar
Orna Grumberg
10 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
Orna Grumberg · Springer
Sayfa sayısı yok · 2009
Logic design / Information theory / Symbolic and mathematical Logic / Computer science / Programming languages (electronic computers)
Orna Grumberg · Springer
230 sayfa · 2008
Logic design / Computer science / Software engineering / Computer systems / Verification
Orna Grumberg · Springer
486 sayfa · 1997
Computer software, verification / Computer software / Congresses / Verification / Integrated circuits
Orna Grumberg, Michael Huth · Springer London, Limited
Sayfa sayısı yok · 2007
System design / Computer software, development
Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner · Springer London, Limited
245 sayfa · 2009
Kategori yok
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · MIT Press
424 sayfa · 2018
Sat (educational test) / Models and modelmaking