KOBV-Portal

Treffer pro Seite

Treffer 1 - 10 | 10 Treffer

Sortierung

Online-Ressource

Compiler specification and verification (1981)

Polak, Wolfgang [Verfasser]

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV036033313

Umfang: 1 Online-Ressource (XIII, 269 S.)

ISBN: 3540108866 , 0387108866

Serie: Lecture notes in computer science 124

Sprache: Englisch

Fachgebiete: Informatik , Wirtschaftswissenschaften

RVK:

QH 500

RVK:

SS 4800

Schlagwort(e): Compiler ; Programmierung ; Verifikation ; Compiler ; Verifikation ; Compiler ; Hochschulschrift

DOI: 10.1007/3-540-10886-6

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Stabi Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Buch

Compiler specification and verification / (1981)

Polak, Wolfgang

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV002088116

Umfang: XIII, 269 S.

ISBN: 3-540-10886-6 , 0-387-10886-6

Serie: Lecture notes in computer science 124

Sprache: Englisch

Fachgebiete: Informatik , Wirtschaftswissenschaften

RVK:

QH 500

RVK:

SS 4800

Schlagwort(e): Compiler ; Programmierung ; Verifikation ; Compiler ; Verifikation ; Compiler

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

FU Berlin

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:

almafu_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

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

FU Berlin

Charité

Online-Ressource

Compiler Specification and Verification (1981)

Polak, Wolfgang. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9947920865802882

Umfang: XIII, 272 p. , online resource.

ISBN: 9783540387954

Serie: Lecture Notes in Computer Science, 124

Anmerkung: Theoretical framework -- Source and target languages -- The compiler proof -- Conclusions.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783540108863

Sprache: Englisch

DOI: 10.1007/3-540-10886-6

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

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Online-Ressource

Compiler Specification and Verification (1981)

Polak, W. ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9948621586802882

Umfang: XIII, 272 p. , online resource.

Ausgabe: 1st ed. 1981.

ISBN: 9783540387954

Serie: Lecture Notes in Computer Science, 124

Anmerkung: Theoretical framework -- Source and target languages -- The compiler proof -- Conclusions.

In: Springer Nature eBook

Weitere Ausg.: Printed edition: ISBN 9783662167748

Weitere Ausg.: Printed edition: ISBN 9783540108863

Sprache: Englisch

DOI: 10.1007/3-540-10886-6

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

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Online-Ressource

Compiler Specification and Verification (1981)

Polak, W.

Berlin, Heidelberg : Springer Berlin Heidelberg

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1649199309

Umfang: Online-Ressource

ISBN: 9783540387954

Serie: Lecture Notes in Computer Science 124

Weitere Ausg.: ISBN 9783540108863

Weitere Ausg.: Buchausg. u.d.T. Polak, Wolfgang Compiler specification and verification Berlin : Springer, 1981 ISBN 3540108866

Weitere Ausg.: ISBN 0387108866

Sprache: Englisch

Fachgebiete: Informatik , Wirtschaftswissenschaften

RVK:

QH 500

RVK:

SS 4800

Schlagwort(e): Compiler ; Programmierung ; Verifikation ; Compiler ; Verifikation ; Compiler

DOI: 10.1007/3-540-10886-6

URL: Volltext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Stabi Berlin

Buch

Compiler specification and verification (1981)

Polak, Wolfgang [Verfasser]

Berlin [u.a.] : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

b3kat_BV002088116

Umfang: XIII, 269 S.

ISBN: 3540108866 , 0387108866

Serie: Lecture notes in computer science 124

Sprache: Englisch

Fachgebiete: Informatik , Wirtschaftswissenschaften

RVK:

QH 500

RVK:

SS 4800

Schlagwort(e): Compiler ; Programmierung ; Verifikation ; Compiler ; Verifikation ; Compiler

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

TU Berlin

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

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

FU Berlin

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:

edoccha_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

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

Charité

Buch

Compiler specification and verification (1981)

Polak, Wolfgang

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_024230316

Umfang: XIII, 269 S , graph. Darst.

ISBN: 3540108866 , 0387108866

Serie: Lecture notes in computer science 124

Anmerkung: Überarb. Diss

Weitere Ausg.: Online-Ausg. Polak, Wolfgang Compiler specification and verification Berlin [u.a.] : Springer, 1981 ISBN 9783540387954

Weitere Ausg.: Erscheint auch als Online-Ausgabe Polak, W. Compiler Specification and Verification Berlin, Heidelberg : Springer Berlin Heidelberg, 1981 ISBN 9783540387954

Sprache: Englisch

Fachgebiete: Informatik , Wirtschaftswissenschaften

RVK:

QH 500

RVK:

SS 4800

Schlagwort(e): Compiler ; Programmierung ; Verifikation ; Compiler ; Verifikation ; Compiler

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Stabi Berlin

Treffer 1 - 10 | 10 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Meinten Sie 9783540008866?

Meinten Sie 9783540100263?

Meinten Sie 9783540100683?

Kooperativer Bibliotheksverbund

Berlin Brandenburg