Temporal logic Vol. 2, Mathematical foundations and computational aspects
- Författare
- Dov M. Gabbay
- (Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2000 | Storbritannien | |||
| Clarendon | 1994-9999 | Storbritannien, Oxford | 2 vol. | |
| Clarendon | 1994 | Storbritannien, Oxford | 653 sidor. | |
| Springer | cop. 1994 | Tyskland, Berlin, New York | ||
| Springer Berlin Heidelberg | 1994 | Utgivningsland okänt / Ej specificerat |