BookFinder.com Search | About | Preferences | Interact | Help
150 million books. 1 search engine.

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)
Jerzy Tiuryn
at LibraryThing

coauthors & alternates:

  • David Harel
  • Dexter Kozen
  • Leszek Pacholski

Book search Help About Interact Preferences ISBN list
BookFinder.com • JustBooks.co.uk • JustBooks.de • JustBooks.fr • JustBooks.nl
© 2009 BookFinder.com® | Conditions of use | Privacy policy
[powered by Muze Inc.]