Logics of Programs by E Clarke, D Kozen
| ISBN: | 9783540128960 |
| Publication date: | 1st February 1984 |
| Author: | E Clarke, D Kozen |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 531 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation |
Logics of Programs by E Clarke, D Kozen
Logics of Programs features in the following genres: Mathematical theory of computation
Logics of Programs is available in Paperback
Logics of Programs was written by E Clarke, D Kozen and published by Springer an imprint of Springer Berlin Heidelberg
Logics of Programs has 531 pages
Yes it is part of Lecture Notes in Computer Science series