Prezentacja autora David Harel:

Informatyka jest nauką przyszłości i już teraz leży u podstaw każdego aspektu biznesu i...

"Algorytmika" przedstawia najważniejsze koncepcje, metody i wyniki, które są...

Preliminaria. - i Przegląd historyczny. - Algorytmy i dane. - Języki i...

Książka ta stanowi pierwsze kompleksowe wprowadzenie do logiki dynamicznej .Wśród wielu podejść do formalnego rozumowania o programach, logika...