| | Books 1 - 7 of 7 | Previous | Next | 
|  | | Dynamic Logic (Foundations of Computing) (1st Edition)
by David Harel, Dexter Kozen, Jerzy Tiuryn
Hardcover, 450 Pages, Published 2000 by The MIT Press, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 994. Selected Papers (Lecture Notes in Computer Science) (1st Edition)
by Leszek Pacholski (Editor), Jerzy Tiuryn (Editor)
Paperback, 543 Pages, Published 1995 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | 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) (1st Edition)
by Jerzy Tiuryn (Editor)
Paperback, 390 Pages, Published 2000 by Springer, 1st Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Fixed points in free process algebras (Rev Edition)
by Jerzy Tiuryn
Unknown Binding, 29 Pages, Published 1988 by Computer Science Dept., Washington State University, Rev Edition
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Type reconstruction with recursive types and atomic subtyping (Technical report)
by Jerzy Tiuryn
Unknown Binding, 21 Pages, Published 1992 by College of Computer Science, Northeastern University
Compare Prices | Add to Wish List | Set Price Alert |
|  | | Dynamic Logic
by David; Kozen, Dexter C.; Tiuryn, Jerzy Harel
Paperback, Published 2000 by The MIT Press
Compare Prices | Add to Wish List | Set Price Alert |
|  | | A survey of the logic of effective definitions (MIT/LCS/TR-246)
by Jerzy Tiuryn
Unknown Binding, 47 Pages, Published 1980 by Massachusetts Institute of Technology, Laboratory for Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
| | Books 1 - 7 of 7 | Previous | Next |
|