Yazar
Ulrich Roever
3 cilt bulundu.
Cilt sonuçları
Concurrency verification
W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers · Cambridge University Press
798 sayfa · 2001
Parallel processing (Electronic computers) / Verification / Computer software / Parallel processing (electronic computers) / Computer software, verification