First-order Dynamic Logic - Lecture Notes in Computer Science - D. Harel - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540092377 - April 1, 1979
In case cover and title do not match, the title is correct

First-order Dynamic Logic - Lecture Notes in Computer Science 1979 edition

D. Harel

Price
Kč 329

Ordered from remote warehouse

Expected delivery Jul 17 - 25

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

First-order Dynamic Logic - Lecture Notes in Computer Science 1979 edition

136 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 1, 1979
ISBN13 9783540092377
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 136
Dimensions 156 × 234 × 8 mm   ·   217 g
Language English  

See all of D. Harel ( e.g. Paperback Book )