Coverart for item
The Resource First-order dynamic logic, David Harel

First-order dynamic logic, David Harel

Label
First-order dynamic logic
Title
First-order dynamic logic
Statement of responsibility
David Harel
Creator
Subject
Language
eng
Dewey number
519.7
Illustrations
illustrations
Index
index present
LC call number
QA76.6
LC item number
.H34 1979
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science
Series volume
68
Label
First-order dynamic logic, David Harel
Instantiates
Publication
Note
  • Rev. version of the author's thesis, M.I.T., 1978
  • Includes index
Bibliography note
Bibliography: p. [127]-133
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
133 p.
Isbn
9780387092379
Lccn
79013118
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (RLIN)UTBG13905023-B
  • 5654402
  • (OCoLC)ocn336282180
Label
First-order dynamic logic, David Harel
Publication
Note
  • Rev. version of the author's thesis, M.I.T., 1978
  • Includes index
Bibliography note
Bibliography: p. [127]-133
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
133 p.
Isbn
9780387092379
Lccn
79013118
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (RLIN)UTBG13905023-B
  • 5654402
  • (OCoLC)ocn336282180

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...