David (William Sussman Professorial Chair, The Weizmann Institute of Science) Harel & Dexter Kozen 
Dynamic Logic [PDF ebook] 

Support
€95.73
payment methods
Buy this ebook and get 1 more FREE!
Format PDF ● Pages 476 ● ISBN 9780262274951 ● Publisher MIT Press Ltd ● Published 2014 ● Downloadable 3 times ● Currency EUR ● ID 4849843 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,746 Ebooks in this category