F K · Fred K. · Fred Kroger
| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Temporal Logic and State Systems | Taschenbuch | 978-3-642-08680-9 | 2010 | |
| Temporal Logic and State Systems | Gebunden | 978-3-540-67401-6 | 2008 | Stephan Merz |
| Temporal Logic of Programs | " | 978-3-540-17030-3 | 1987 | |
| Temporal Logic of Programs | Taschenbuch | 978-3-642-71551-8 | 1987 | |