Jerzy Tiuryn
Jerzy Tiuryn
5 featured booksJerzy Tiuryn
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL1585967A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryDL
Dynamic Logic (Foundations of Computing)
cover - Image source: Open LibraryFO
Foundation of Software Science and Computation Structures
cover - DLDynamic LogicJerzy Tiuryn
Dynamic Logic
no cover - MJM-grupoidy jako narzędzie do b...Jerzy Tiuryn
M-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programów
no cover - APAlgebraiczne podstawy teorii ma...Jerzy Tiuryn
Algebraiczne podstawy teorii maszyn
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.