The book is currently out of stock
Parameters
More about the book
This book provides the first comprehensive introduction to Dynamic Logic. schovat popis
Book purchase
Dynamic Logic, David Harel
- Language
- Released
- 2000
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Dynamic Logic
- Language
- English
- Authors
- David Harel
- Publisher
- MIT Press Ltd
- Released
- 2000
- Format
- Paperback
- ISBN10
- 0262527669
- ISBN13
- 9780262527668
- Description
- This book provides the first comprehensive introduction to Dynamic Logic. schovat popis