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 |