Przewodnik po witrynie
Szkolenia on-line
Turkusowa doktryna jakości
Szkolenia uzupełniające
Moje książki i artykuły
Doktryna jakości
Komputerowa edycja
Turkus i BCorpy
Zarządzanie jakością
A Teal Doctrine of Quality
Spotkania otwarte
Konwersatorium TQM
Najbliższe i poprzednie
Jak to się zaczęło
Denotational engineering
English version
Wersja polska
Publicystyka
Gospodarka i społecz.
Firmy rodzinne
Firma A.Blikle
Ekologia języka ojczystego
Komputer z ludzką twarzą
Co powiedziałem
Przemówienia
Wystąpienia
Wywiady prasowe
Artykuły prasowe
Na antenie i w Internecie
Gdzie byłem
Piszą goście
Co przeczytałem
Przewodnik po zapiskach
Organizacje XXI wieku
Przywództwo
Zarządzanie jakością
Człowiek i społeczność
Marketing i sprzedaż
Firmy rodzinne
Gospodarka i ekonomia
Filozofia i nauka
Literatura faktu
Edukacja
Cała reszta
Goście
O mnie
Związane www
Wyszukaj i statystyka strony
Zamów biuletyn nowości
Co tu znajdziesz
Menu główne
Przewodnik po witrynie
Szkolenia on-line
Moje książki i artykuły
A Teal Doctrine of Quality
Spotkania otwarte
Konwersatorium TQM
Denotational engineering
Publicystyka
Co przeczytałem
Cała reszta
Co tu znajdziesz
Jesteś tutaj:
Home
Moje publikacje z informatyki
Rozmiar tekstu
Moje najważniejsze publikacje w dziedzinie informatyki
Drukuj
E-mail
Utworzono: środa, 15 luty 2012 06:21
Poprawiono: czwartek, 17 styczeń 2019 08:28
Odsłony: 61029
Automaty i Gramatyki; Wstęp do lingwistyki matematycznej
, PWN, Warszawa 1971,
Algorithmically definable functions
, Dissertationes Mathematicae 85 (1971)
Addressless units for carrying loop-free computations
, Journal of ACM 19 (1972), 136-157
The clean termination of iterative programs
, Acta Informatica,16 (1981), 199-217
Naive Denotational Semantics
, IFIP Congress 1983, North Holland 1983 (wspólnie z A.Tarleckim)
Denotational Engineering
, Science of Computer Programming 12 (1989), 207-253
MetaSoft Primer
; Towards a Metalanguage for Applied Denotational Semantics, Lecture Notes in Computer Science 288, Springer-Verlag 1987
Tweet
O mnie
Mój życiorys anegdotyczny
Moje wspomnienie z liceum
Moje członkostwa
Moje publikacje z zarządzania
Moje publikacje z informatyki
Moje odznaczenia
CV ogólne
CV biznesowe
CV doradca (pełne)
CV doradca (skrócone)
CV doradca (mini)
Moje zdjęcia do pobrania
Piszcie do mnie
Moje Pięć Stawów
Designed by CloudAccess.net
[
Wróć do ustawień początkowych
]
Wróć na początek strony