Dynamic LogicDavid Harel
Dynamic Logic
David Harel, Dexter Kozen, Jerzy Tiuryn · 2000
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2000
- Language
- English
- Publisher
- MIT Press
- Editions
- 5
- Pages
- 476
- ISBN
- 9780262263023
Data source: Wikidata
