First-order dynamic logic
- 種類:
- 図書
- 責任表示:
- David Harel
- 出版情報:
- Berlin ; Tokyo : Springer-Verlag, 1979
- 著者名:
- Harel, David, 1950- <DA01931918>
- シリーズ名:
- Lecture notes in computer science ; 68 <BA00009279>
- ISBN:
- 9783540092377 [3540092374] (: gw)
9780387092379 [0387092374] (: us) - 注記:
- Rev. version of the author's thesis, M.I.T., 1978
Bibliography: p. [127]-133
Includes index
類似資料:
Springer-Verlag |
Springer-Verlag |
Birkhäuser | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag |
Springer-Verlag | |
Springer-Verlag |
North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc. |
Clarendon Press, Oxford University Press |
Springer-Verlag |