First-Order Dynamic Logic
Download or Read eBook First-Order Dynamic Logic PDF written by David Harel and published by Lecture Notes in Computer Science. This book was released on 1979 with total page 156 pages. Available in PDF, EPUB and Kindle.
| Author | : David Harel |
| Publisher | : Lecture Notes in Computer Science |
| Total Pages | : 156 |
| Release | : 1979 |
| ISBN-10 | : UCAL:B4980886 |
| ISBN-13 | : |
| Rating | : 4/5 (86 Downloads) |
Book Synopsis First-Order Dynamic Logic by : David Harel
Book excerpt:
