Yazar
thomas a henzinger
6 cilt bulundu.
Cilt sonuçları
Handbook of Model Checking
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · Springer
1210 sayfa · 2017
Kategori yok
Mathematical and Engineering Methods in Computer Science
Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos · Springer
225 sayfa · 2013
Computer science, mathematics / Software engineering
Computational Methods in Systems Biology
Ashutosh Gupta, Thomas A. Henzinger · Springer
295 sayfa · 2013
Software engineering / Computer science / Algebra / Data processing / Computer simulation
Computer Science Logic
Jacques Duparc, Thomas A. Henzinger · Springer London, Limited
Sayfa sayısı yok · 2007
Logic, symbolic and mathematical
Embedded Software
Thomas A. Henzinger, Christoph M. Kirsch · Springer London, Limited
Sayfa sayısı yok · 2003
Computer software, development