Tiuryn, Jerzy books & textbook
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, 933)
Pacholski, Leszek Tiuryn, Jerzy
Springer /1995-07-18 Paperback / 564 Pages
isbn-10: 3540600175 / isbn-13: 9783540600176
Dynamic Logic (Foundations of Computing)
Harel, David Kozen, Dexter Tiuryn, Jerzy
MIT Press /2000-09-29 Paperback / 476 Pages
isbn-10: 0262527669 / isbn-13: 9780262527668
Foundation of Software Science and Computation Structures (Lecture Notes in Computer Science)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG / Paperback / 398 Pages
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, 1784)
Springer /2000-03-15 Paperback / 390 Pages
isbn-10: 3540672575 / isbn-13: 9783540672579
