First-order dynamic logic

Front Cover
Springer-Verlag, 1979 - Mathematics - 133 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Section 1
44
Section 2
59
Section 3
117
Copyright

Other editions - View all

Common terms and phrases

About the author (1979)

David Harel is William Sussman Professor of Mathematics at The Weizmann Institute of Science, in Israel. One of the world's leading computer scientists, he is the author of the critically acclaimed Algorithmics, which has sold more than 100,000 copies worldwide.

Bibliographic information