First-order dynamic logic / David Harel. (Lecture notes in computer science ; 68)

First-order dynamic logic / David Harel.

(Lecture notes in computer science ; 68)

Notes on use

Note (General)：: Rev. version of the author's thesis, M.I.T., 1978.Includes index.

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0387092374
Title: First-order dynamic logic / David Harel.
Series Title: Lecture notes in computer science ; 68
Author Heading: Harel, David, 1950-
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1979.
Publication Date (W3CDTF): 1979
Extent: 133 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer programming.
Logic, Symbolic and mathematical.
Recursion theory.
LCC: QA76.6
DDC: 519.7
NDLC: M159
Note (General): Rev. version of the author's thesis, M.I.T., 1978.
Includes index.
Note (Bibliography): Bibliography: p. [127]-133.
Holding library: 国立国会図書館
Call No.: M159-95
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006209805
http://id.ndl.go.jp/bib/000006209805
LC Control Number: 79013118
https://lccn.loc.gov/79013118
Bibliographic Record Category (NDL): 211