Logics of Programs by Rohit Parikh
| ISBN: | 9783540156482 |
| Publication date: | 1st June 1985 |
| Author: | Rohit Parikh |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 428 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Systems analysis and design Mathematical theory of computation |
Logics of Programs by Rohit Parikh
Logics of Programs features in the following genres: Systems analysis and design, Mathematical theory of computation
Logics of Programs is available in Paperback
Logics of Programs was written by Rohit Parikh and published by Springer an imprint of Springer Berlin Heidelberg
Logics of Programs has 428 pages
Yes it is part of Lecture Notes in Computer Science series