Temporal logic of programs
- Författare
- Fred Kröger
- (Fred Kröger.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1987 | Tyskland, Berlin, New York | viii, 148 sidor. | |
| Springer Berlin Heidelberg | 1987 | Utgivningsland okänt / Ej specificerat |