Denotacyjny opis języków programowania - Michael C.J Gordon - książka wyd. 1983
13,66 zł 16,00 zł
tezeusz.pl Zobacz w sklepie Opis
Wstęp: W niniejszej książce omówiono sposoby formalnego opisu języków programowania przy użycia techniki semantyki denotacyjnej. Książka jest przeznaczona raczej dla studentów informatyki niż dla matematyków. Od Czytelników nie wymaga się znajomości teorii obliczeń, pewne obycie z językami programowania wysokiego poziomu byłoby jednak pomocne.