595126707

Semantics : foundations and applications ; REX Workshop, Beekbergen, The Netherlands, June 1 - 4, 1992 ; proceedings / J. W. de Bakker ... (eds.)

Rex Workshop ; (Beekbergen) : 1992.06.01-04

Englisch

Berlin [u.a.] : Springer, 1993

Online-Ressource (VIII, 659 S.)

Konferenzschrift (1992, Beekbergen)

Literaturangaben

Druckausg.: Bakker, Jacobus W. *1939-*: Semantics. - Berlin : Springer, 1993. - VIII, 659 S

978-3-540-47595-8

Weitere Ausgaben: 3-540-56596-5 (Druckausgabe), 978-3-540-56596-3 (Druckausgabe)

DOI: 10.1007/3-540-56596-5

*Programmiersprache / Semantik

*Nebenläufigkeit / Semantik

*Computer science ; Software engineering ; Logic design ; Programming languages (Electronic computers) -- Semantics -- Congresses

*Programming Techniques ; Computer Science ; Logics and Meanings of Programs ; Programming Languages, Compilers, Interpreters ; Software Engineering

Klassifikation der Library of Congress: QA76.7

Dewey Dezimal-Klassifikation: 005.131;

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

Regensburger Verbund-Klassifikation: ST 140: SQ-SU Informatik / ST Monografien / ST 120-ST 140 Grundlagen der Informatik / ST 130-ST 140 Theoretische Informatik / Semantik von Programmiersprachen

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 68-06

 

Online-Ausg.

Berlin [u.a.] : Springer, 2006

Berlin [u.a.] : Springer

https://zbmath.org/?q=an:0825.00095 [Zentralblatt MATH]

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.

http://dx.doi.org/10.1007/3-540-56596-5 [E-books (Springer)]