First-Order Dynamic Logic
Author | : D. Harel |
Publisher | : |
Total Pages | : 152 |
Release | : 2014-01-15 |
ISBN-10 | : 3662174502 |
ISBN-13 | : 9783662174500 |
Rating | : 4/5 (02 Downloads) |
Book Synopsis First-Order Dynamic Logic by : D. Harel
Download or read book First-Order Dynamic Logic written by D. Harel and published by . This book was released on 2014-01-15 with total page 152 pages. Available in PDF, EPUB and Kindle. Book excerpt: