Jerzy Tiuryn (Tiuryn, Jerzy)

• 
  Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 Selected Papers
  by Leszek Pacholski, Jerzy Tiuryn
  Hardcover, Springer-Verlag, ISBN 0387600175 (0-387-60017-5)

  More editions of Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 Selected Papers:

  • Computer Science Logic : 8th International Workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994: Proceedings: Softcover, Springer, ISBN 3540600175 (3-540-60017-5)
• 
  Dynamic Logic
  by David Harel, Dexter Kozen, Jerzy Tiuryn
  Hardcover, MIT Press, ISBN 0262082896 (0-262-08289-6)
• 
  Foundation of Software Science and Computation Structures: Third International Conference, FOSSACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25-April 2, 2000, Proceedings
  by Jerzy Tiuryn
  Softcover, Springer, ISBN 3540672575 (3-540-67257-5)