KOBV-Portal

Treffer pro Seite

Treffer 1 - 4 | 4 Treffer

Sortierung

Online-Ressource

Programming Languages and Their Definition : H. Bekič (1936–1982) (1984)

Jones, Cliff B. 1944-

Berlin, Heidelberg : Springer-Verlag

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_1649202040

Umfang: Online-Ressource

ISBN: 9783540389330

Serie: Lecture Notes in Computer Science 177

Inhalt: Note on a test example for ALGOL60 compilers by D.E. Knuth -- The assignment to a type procedure identifier in ALGOL60 -- The meaning of names in PL/I -- Defining a language in its own terms -- Note on some problems concerning the PL/I manual and its re-writing -- Definable operations in general algebras, and the theory of automata and flowcharts -- Formalization of storage properties -- On the formal definition of programming languages -- A formal definition of a PL/I subset -- Mathematical semantics and compiler correctness -- Towards a mathematical theory of processes -- From comments arising from a lecture in Amsterdam, June 1972 -- The semantics of parallel processing -- Nondeterministic functions and the semantics of CSP -- Nondeterministic programs : An example -- A model of nondeterminism: Indexed sets and their equivalence.

Anmerkung: Literaturangaben

Weitere Ausg.: ISBN 9783540133780

Weitere Ausg.: Buchausg. u.d.T. Bekič, Hans Programming languages and their definition Berlin : Springer, 1984 ISBN 354013378X

Weitere Ausg.: ISBN 038713378X

Sprache: Englisch

Schlagwort(e): Programmiersprache ; Programmiersprache ; Definition ; Bekič, Hans 1936-1982 ; Programmiersprache ; Semantik ; Programmiersprache ; Formale Beschreibung ; Programmiersprache ; Programmiersprache ; Programmiersprache ; Definition ; Bekič, Hans 1936-1982 ; Programmiersprache ; Semantik ; Aufsatzsammlung ; Bibliografie

DOI: 10.1007/BFb0048933

URL: Volltext (lizenzpflichtig)

URL: Cover

Mehr zum Autor: Jones, Cliff B. 1944-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

Stabi Berlin

UB Potsdam

Buch

Programming languages and their definition : selected papers (1984)

Bekič, Hans 1936-1982 ; Jones, Cliff B. 1944-

Berlin u.a. :Springer,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV000213351

Umfang: XXXII, 254 S.

ISBN: 3-540-13378-X , 0-387-13378-X

Serie: Lecture notes in computer science 177

Sprache: Englisch

Schlagwort(e): Programmiersprache ; Programmiersprache ; Definition ; 1936-1982 Bekič, Hans ; Bibliografie ; Programmiersprache ; Semantik ; Programmiersprache ; Formale Beschreibung ; Aufsatzsammlung ; Aufsatzsammlung

Mehr zum Autor: Jones, Cliff B. 1944-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

FU Berlin

TU Berlin

Buch

Programming languages and their definition : H. Bekič (1936 - 1982) ; selected papers (1984)

Bekič, Hans ; Jones, Cliff B. [HerausgeberIn]

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_025098845

Umfang: XXXII, 254 S. , graph. Darst.

ISBN: 354013378X , 038713378X

Serie: Lecture notes in computer science 177

Anmerkung: List of papers and main scientific talks of H. Bekič S. IX - XXXII

Weitere Ausg.: Online-Ausg. Jones, Cliff B., 1944 - Programming Languages and Their Definition Berlin, Heidelberg : Springer-Verlag, 1984 ISBN 9783540389330

Weitere Ausg.: Erscheint auch als Online-Ausgabe Jones, Cliff B., 1944 - Programming Languages and Their Definition Berlin, Heidelberg : Springer-Verlag, 1984 ISBN 9783540389330

Sprache: Englisch

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

Stabi Berlin

Buch

Programming languages and their definition : selected papers (1984)

Bekič, Hans, 1936-1982. ; Jones, Cliff B., 1944-

Berlin u.a. :Springer,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV000213351

Umfang: XXXII, 254 S.

ISBN: 3-540-13378-X , 0-387-13378-X

Serie: Lecture notes in computer science 177

Sprache: Englisch

Mehr zum Autor: Jones, Cliff B., 1944-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

Treffer 1 - 4 | 4 Treffer

Nichts oder nicht das Richtige gefunden? Für eine Suche/Fernleihbestellung aus dem Ausland nutzen Sie das Suche-Set "KOBV-International" im alten KOBV-Portal.

Meinten Sie 032713478x?

Meinten Sie 038710318x?

Meinten Sie 038711078x?

Kooperativer Bibliotheksverbund

Berlin Brandenburg