KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Compiler Specification and Verification (1981)

Polak, W. ; Polak, Wolfgang

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

edocfu_9959186245702883

Umfang: 1 online resource (XIII, 272 p.)

Ausgabe: 1st ed. 1981.

Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-38795-1

Serie: Lecture Notes in Computer Science, 124

Anmerkung: Bibliographic Level Mode of Issuance: Monograph , Theoretical framework -- Source and target languages -- The compiler proof -- Conclusions. , English

In: Springer eBooks

Weitere Ausg.: ISBN 3-540-10886-6

Sprache: Englisch

DOI: 10.1007/3-540-10886-6

URL: http://dx.doi.org/10.1007/3-540-10886-6

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

FU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg