David Harel szerző bemutatása:

Az informatika a jövő tudománya, amely már most is az üzleti és...

Az "Algoritmika" a számítástechnika tudományának legfontosabb...

Előzetesek. - és történeti áttekintés. - Algoritmusok és adatok. -...

Ez a könyv az első átfogó bevezetés a dinamikus logikába. A programokról való formális gondolkodás számos megközelítése közül a dinamikus logikának az az...