- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540076285
354007628X
9780387076287
038707628X
- Maße
-
25 cm
- Umfang
-
172 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Literaturverz. S. 163 - 172
- Erschienen in
-
Lecture notes in computer science ; Vol. 42
- Schlagwort
-
Pascal
Semantik
Semantik
Programmiersprachen
PASCAL
Semantik
Programmiersprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
1976
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:15 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Donahue, James E.
- Springer
Entstanden
- 1976
Ähnliche Objekte (12)
The real time programming language ALDiSP-O : informal introduction and formal semantics
Mechanized semantics of simple imperative programming constructs
Programming language and fundamentals of programming
Mixed low- and high level programming language semantics and automated verification of a small hypervisor
Semantics of programming languages and algebra : 07.06. - 11.06.93
Programming language implementation and logic programming : proceedings
A semantics for the integration of database modifications and transaction brackets into a logic programming language
Semantics as a gateway to language
Probabilistic models of natural language semantics
Choice functions in natural language semantics
Natural language semantics and compiler technology
The C2 programming language
The real time programming language ALDiSP-O : informal introduction and formal semantics
Mechanized semantics of simple imperative programming constructs
Programming language and fundamentals of programming
Mixed low- and high level programming language semantics and automated verification of a small hypervisor
Semantics of programming languages and algebra : 07.06. - 11.06.93
Programming language implementation and logic programming : proceedings
A semantics for the integration of database modifications and transaction brackets into a logic programming language
Semantics as a gateway to language
Probabilistic models of natural language semantics
Choice functions in natural language semantics
Natural language semantics and compiler technology
The C2 programming language
The real time programming language ALDiSP-O : informal introduction and formal semantics
Mechanized semantics of simple imperative programming constructs
Programming language and fundamentals of programming
Mixed low- and high level programming language semantics and automated verification of a small hypervisor
Semantics of programming languages and algebra : 07.06. - 11.06.93
Programming language implementation and logic programming : proceedings
A semantics for the integration of database modifications and transaction brackets into a logic programming language
Semantics as a gateway to language
Probabilistic models of natural language semantics
Choice functions in natural language semantics
Natural language semantics and compiler technology