Harel, David, (1950-)

Dynamic logic by: Harel, David, (1950-); Kozen, Dexter, (1951-); Tiuryn, Jerzy; NetLibrary, Inc. (書目-電子資源)

Algorithmics : = the spirit of computing / by: Rosner, Roni.; Harel, David, (1950-) (書目-語言資料,印刷品)