Jerzy Tiuryn

No bio available. Add one in Open Library.

Books by Jerzy Tiuryn (50 max)

+ shelf+ list

Dynamic Logic

2000

David Harel, Dexter Kozen, Jerzy Tiuryn

+ shelf+ list

Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)

2000

Jerzy Tiuryn

+ shelf+ list

Algebraiczne podstawy teorii maszyn

1975

Jerzy Tiuryn

+ shelf+ list

M-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów

1977

Jerzy Tiuryn