Compiler specification and verification
Wolfgang Polak
| Year of publication: |
1981
|
|---|---|
| Authors: | Polak, Wolfgang |
| Publisher: |
Berlin [u.a.] : Springer |
| Subject: | Compiler | Programmierung | Verifikation |
| Extent: | XIII, 269 S. |
|---|---|
| Series: | Lecture notes in computer science. - Berlin ; Heidelberg [u.a.] : Springer, ISSN 0302-9743. - Vol. 124 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Dissertation u.a. Prüfungsschriften |
| Language: | English |
| Thesis: | Teilw. zugl.: Stanford, Calif., Univ., Diss. |
| ISBN: | 3-540-10886-6 ; 0-387-10886-6 |
| Source: |
Persistent link: https://www.econbiz.de/10004665510