Programmiersprachen: 4. Fachtagung der GI Erlangen, 8.–10. März 1976: Informatik-Fachberichte, cartea 1
Editat de H.J. Schneider, M. Naglde Limba Germană Paperback – aug 1976
Din seria Informatik-Fachberichte
- 20% Preț: 415.80 lei
- 20% Preț: 422.71 lei
- 20% Preț: 414.63 lei
- 20% Preț: 357.71 lei
- 20% Preț: 421.40 lei
- 20% Preț: 417.76 lei
- 20% Preț: 366.12 lei
- 20% Preț: 421.91 lei
- 20% Preț: 362.52 lei
- 20% Preț: 413.97 lei
- 20% Preț: 426.86 lei
- 20% Preț: 420.74 lei
- 20% Preț: 417.44 lei
- 20% Preț: 417.62 lei
- 20% Preț: 426.03 lei
- 20% Preț: 414.49 lei
- 20% Preț: 434.60 lei
- 20% Preț: 430.31 lei
- 20% Preț: 428.67 lei
- 20% Preț: 354.59 lei
- 20% Preț: 336.67 lei
- 20% Preț: 356.22 lei
- 20% Preț: 647.61 lei
- 20% Preț: 363.98 lei
- 20% Preț: 356.22 lei
- 20% Preț: 426.53 lei
- 20% Preț: 419.43 lei
- 20% Preț: 420.74 lei
- 20% Preț: 657.16 lei
- 20% Preț: 418.27 lei
- 20% Preț: 418.43 lei
- 20% Preț: 359.35 lei
- 20% Preț: 415.80 lei
- 20% Preț: 415.61 lei
- 20% Preț: 420.57 lei
- 20% Preț: 431.29 lei
- 20% Preț: 415.29 lei
- 20% Preț: 413.65 lei
- 20% Preț: 341.48 lei
- 20% Preț: 358.24 lei
- 20% Preț: 412.17 lei
- 20% Preț: 415.61 lei
- 20% Preț: 414.31 lei
- 20% Preț: 643.63 lei
- 20% Preț: 414.49 lei
- 20% Preț: 412.17 lei
- 20% Preț: 355.75 lei
- 20% Preț: 423.86 lei
- 20% Preț: 423.22 lei
Preț: 418.93 lei
Preț vechi: 523.66 lei
-20% Nou
Puncte Express: 628
Preț estimativ în valută:
80.17€ • 83.19$ • 67.01£
80.17€ • 83.19$ • 67.01£
Carte tipărită la comandă
Livrare economică 15-29 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540076193
ISBN-10: 3540076190
Pagini: 280
Ilustrații: VI, 270 S.
Dimensiuni: 170 x 244 x 15 mm
Greutate: 0.45 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540076190
Pagini: 280
Ilustrații: VI, 270 S.
Dimensiuni: 170 x 244 x 15 mm
Greutate: 0.45 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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 onProgramming Language Design.- On Generating Verification Conditions for Correctness Proofs.