First-Order Dynamic Logic
| Author | : David Harel |
| Publisher | : Lecture Notes in Computer Science |
| Total Pages | : 156 |
| Release | : 1979 |
| ISBN-10 | : UCAL:B4980886 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis First-Order Dynamic Logic by : David Harel
Download or read book First-Order Dynamic Logic 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. Book excerpt:
Top