First order dynamic logic
David Harel
| Year of publication: |
1979
|
|---|---|
| Authors: | Harel, David |
| Publisher: |
Berlin [u.a.] : Springer |
| Subject: | Programmierung | Logik | Mathematische Logik |
| Description of contents: | Table of Contents [digitool.hbz-nrw.de] |
| Extent: | 133 S. |
|---|---|
| Series: | Lecture notes in computer science. - Berlin ; Heidelberg [u.a.] : Springer, ISSN 0302-9743. - Vol. 68 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Dissertation u.a. Prüfungsschriften |
| Language: | English |
| Thesis: | Zugl.: Cambridge, Mass., Massachusetts Inst. of Technology, Diss., 1978 |
| ISBN: | 3-540-09237-4 ; 0-387-09237-4 |
| Source: |
Persistent link: https://www.econbiz.de/10004038415