With contributions by nummerous experts
| ISBN: | 9783540112129 |
| Publication date: | 1st March 1982 |
| Author: | D Kozen |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 429 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation |
With contributions by nummerous experts
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 D Kozen and published by Springer an imprint of Springer Berlin Heidelberg
Logics of Programs has 429 pages
Yes it is part of Lecture Notes in Computer Science series