Jerzy Tiuryn

Identifiers

Open LibraryOL1585967A

Top Subjects

Logic Design (3)
Computers (3)
Computer Books: General (3)
Programming - General (3)
Machine theory (2)
Formal methods (Computer science) (2)
Computer Science (2)

Books by Jerzy Tiuryn

Total count: 6

Algebraiczne podstawy teorii maszynWyd. 1.

Państwowe Wydawn. Naukowe1975-01-01
M-grupoidy jako narzędzie do badania własności matematycznych modeli maszyn cyfrowych i programówWyd. 1.

Państwowe Wydawn. Naukowe1977-01-01
Dynamic Logic

MIT Press2000-01-01
Foundation of Software Science and Computation StructuresThird International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)1 edition

Springer2000-04-13
Dynamic Logic (Foundations of Computing)1st edition

The MIT Press2000-10-02
Dynamic Logic (Foundations of Computing)1st edition

The MIT Press2000-10-02