First-Order Dynamic Logic
by David Harel
Review this book!
No summary of this book is available at this time. Click here to contribute a summary of First-Order Dynamic Logic.
Editions of First-Order Dynamic Logic
 |
ISBN |
Binding/Format Paperback |
Publisher Springer Verlag |
Date 1979 |
Price None Available |
Review this book!
