An edition of Dynamic Logic (Foundations of Computing) (2000)

Dynamic Logic (Foundations of Computing)

1st edition

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Dynamic Logic (Foundations of Computing) by David Harel, Dexter Kozen, Jerzy Tiuryn
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 14, 2024 | History
Edit
An edition of Dynamic Logic (Foundations of Computing) (2000)

Dynamic Logic (Foundations of Computing)

1st edition

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
The MIT Press
Language
English
Pages
450

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Formal methods (Computer science), Computer logic, Logic, symbolic and mathematical

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Dynamic Logic (Foundations of Computing)
Dynamic Logic (Foundations of Computing)
October 2, 2000, The MIT Press
Hardcover in English - 1st edition
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

First Sentence

"The integers, the rational numbers, and the real numbers are denoted Z, Q, and R, respectively."

Classifications

Library of Congress
QA76.9.L63 H37 2000, QA76.9.L63H37 2000

The Physical Object

Format
Hardcover
Number of pages
450
Dimensions
9 x 7.6 x 1.2 inches
Weight
2 pounds

ID Numbers

Open Library
OL9506613M
Internet Archive
dynamiclogicfoun00hare
ISBN 10
0262082896
ISBN 13
9780262082891
LCCN
00030380
OCLC/WorldCat
43894182
Library Thing
1463162
Goodreads
1305742

Source records

Internet Archive item record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 14, 2024 Edited by MARC Bot import existing book
October 8, 2020 Edited by ImportBot import existing book
September 10, 2020 Edited by MARC Bot import existing book
August 3, 2020 Edited by MARC Bot add LCCN
April 30, 2008 Created by an anonymous user Imported from amazon.com record