Vor Ort
Merkzettel Warenkorb
  • Produktbild: Programmiersprachen
  • Produktbild: Programmiersprachen
Band 1

Programmiersprachen 4. Fachtagung der GI Erlangen, 8.–10. März 1976

Aus der Reihe Informatik-Fachberichte

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.08.1976

Herausgeber

H.J. Schneider + weitere

Verlag

Springer Berlin

Seitenzahl

270

Maße (L/B/H)

24,4/17/1,6 cm

Gewicht

480 g

Sprache

Deutsch, Englisch

ISBN

978-3-540-07619-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.08.1976

Herausgeber

Verlag

Springer Berlin

Seitenzahl

270

Maße (L/B/H)

24,4/17/1,6 cm

Gewicht

480 g

Sprache

Deutsch, Englisch

ISBN

978-3-540-07619-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in
  • Produktbild: Programmiersprachen
  • Produktbild: Programmiersprachen
  • Inhalt/Contents.- Semantik und Verifikation/Semantics and Verification.- The Semantical Definition of Programming Languages in Terms of Their Data Spaces.- Anwendung der axiomatischen Definitionsmethode auf höhere Programmiersprachen.- Systematische Analyse semantischer Abhängigkeiten.- Ein algebraischer Ansatz für Kompilerkorrektheitsbeweise.- Eine Methode zur rechnergestützten Verifikation von while-Programmen.- Echtzeitprogrammierung/Realtime Programming.- Eine Dialogsprache für die Prozeßsteuerung.- Zur Programmierung von Echtzeitrechnersystemen mit räumlich verteilten Prozessorstationen.- Programmiertechnik/Programming Methodology.- Programming-in-the-Large versus Programming-in-the-Small.- Implementierungssprachen/Implementation Languages.- Einige Eigenschaften der Programmiersprache BALG.- SLAN — eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung.- Grundlegende Konzepte/Foundational Concepts.- Cons-freies Programmieren in LISP unter deletion-Strategie.- Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei monadischen Programmen.- On the Implementation of Data Generality.- Programmiersprachen für Spezielle Anwendungen/Programming Languages for Special Applications.- PROMID — eine problembezogene Programmiersprache für die Mittlere Datentechnik.- EHBIS: High Level Picture Programming.- COMSKEE — Eine Sprache für Linguisten.- Formale Sprachen und Syntaxanalyse/Formal Languages and Syntax Analysis.- Syntax-error Recovery in LR-Parsers.- Generating Error Recovery in a Compiler Generating System.- Darstellung der Artanpassung in höheren Programmiersprachen durch Repräsentationen von Gruppen.- Hauptvorträge/Invited Lectures.- Mathematical Theory of Serial Computers.- Some Comments on Programming Language Design.- On Generating Verification Conditions for Correctness Proofs.