Jump To : Overview | Titles | Subjects

Harel, David, (1950-)

Overview
Works: 3 works in 0 publications in 0 languages
Titles
Dynamic logic by: Kozen, Dexter, (1951-); NetLibrary, Inc.; Harel, David, (1950-); Tiuryn, Jerzy (Language materials, printed)
Algorithmics : = the spirit of computing / by: Rosner, Roni.; Harel, David, (1950-) (Language materials, printed)
 
 
Change password
Login