Predstavenie autora David Harel:

Počítačová veda je vedou budúcnosti a už teraz je základom všetkých aspektov...

"Algoritmika" predstavuje najdôležitejšie pojmy, metódy a výsledky, ktoré...

Predbežné informácie. - a historický prehľad. - Algoritmy a dáta. -...

Táto kniha predstavuje prvý komplexný úvod do dynamickej logiky. Spomedzi mnohých prístupov k formálnemu uvažovaniu o programoch má dynamická logika tú...