Join Books.org — it's free
Home > Books > First-Order Dynamic Logic

First-Order Dynamic Logic by David Harel — book cover
Mathematics, General

First-Order Dynamic Logic

by David Harel
Write a review
Log in to track your reading progress.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
June 1, 1979
Publisher
Berlin ; Springer-Verlag, 1979.
Format
Hardcover
ISBN
9780387092379

More by David Harel

Computers Ltd: What They Really Can't Do
Computers Ltd: What They Really Can't Do
Algoritmi
Algoritmi
Algorithmics
Algorithmics
Computers Ltd
Computers Ltd
Science of Computing: Exploring the Nature and Power of Algorithms - David Harel - Paperback
Science of Computing: Exploring the Nature and Power of Algorithms - David Harel - Paperback
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
Algorithmics: The Spirit of Computing
Algorithmics: The Spirit of Computing
Rebirth of Israel Passover Haggadah
Rebirth of Israel Passover Haggadah
Pirke Yesod Be-Madae Ha-Mahshev
Pirke Yesod Be-Madae Ha-Mahshev
Prise En Charge de La Douleur Aigue Dans Les Services D'Urgences
Prise En Charge de La Douleur Aigue Dans Les Services D'Urgences

Similar books

The Shape of Content: Creative Writing in Mathematics and Science
The Shape of Content: Creative Writing in Mathematics and Science
Unlubricated
Unlubricated
Amusements in Mathematics
Amusements in Mathematics
The Complete Book of Math, Grades 3-4
The Complete Book of Math, Grades 3-4
Measuring Penny
Measuring Penny
Geometry of Digital Spaces
Geometry of Digital Spaces
Kepler's Physical Astronomy
Kepler's Physical Astronomy
Contemporary Newtonian Research
Contemporary Newtonian Research
Math Equals: Biographies of Women Mathematicians and Related Activities
Math Equals: Biographies of Women Mathematicians and Related Activities
Finite Mathematics: For Business, Economics, Life Sciences, and Social Sciences
Finite Mathematics: For Business, Economics, Life Sciences, and Social Sciences