An edition of Dynamic logic

Dynamic logic

by

Cover of: Dynamic logic by Harel, David, 1950-, Harel, David, 1950-
Preview
Borrow

My Reading Lists:

Create a new list
Notes
Notes

Buy this book

Last edited by MARC Bot
January 30, 2023 | History
Edit
An edition of Dynamic logic

Dynamic logic

by

This edition doesn't have a description yet. Can you add one?

Language
English

Buy this book

Previews available in: English

Subjects

Computer Programming
Edition Availability
Cover of: Dynamic logic
Dynamic logic
Publisher unknown
in English

Add another edition?

Book Details

Edition Identifiers

Open Library
OL26640129M
Internet Archive
dynamiclogicfoun00davi_0

Work Identifiers

Work ID
OL18158090W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel
Download catalog record: RDF / JSON / OPDS | Wikipedia citation