J. T. · Jörg Tarnow · Juraj Turina
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers | Taschenbuch | 978-3-540-60017-6 | 2008 | Leszek Pacholski | |
| Dynamic Logic | Hardcover | 978-0-262-08289-1 | 2000 | David Harel · Dexter Kozen | |
| Dynamic Logic | Printed Access Code | 978-0-262-27495-1 | 2000 | David Harel · Dexter Kozen | |
| Dynamic Logic | Paperback | 978-0-262-52766-8 | 2000 | David Harel · Dexter Kozen | |
| Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Notes in Computer Science , Band 1784) | Taschenbuch | 978-3-540-67257-9 | 2000 | ||