KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Compiler Specification and Verification (1981)

Polak, W. ; Polak, Wolfgang

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edoccha_9959186245702883

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

Edition: 1st ed. 1981.

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

ISBN: 3-540-38795-1

Series Statement: Lecture Notes in Computer Science, 124

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

In: Springer eBooks

Additional Edition: ISBN 3-540-10886-6

Language: English

DOI: 10.1007/3-540-10886-6

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

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

Charité

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg