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ț: 407.42 lei
- 20% Preț: 414.19 lei
- 20% Preț: 406.29 lei
- 20% Preț: 350.52 lei
- 20% Preț: 412.91 lei
- 20% Preț: 409.34 lei
- 20% Preț: 358.74 lei
- 20% Preț: 413.40 lei
- 20% Preț: 355.22 lei
- 20% Preț: 405.64 lei
- 20% Preț: 418.26 lei
- 20% Preț: 412.26 lei
- 20% Preț: 409.03 lei
- 20% Preț: 409.21 lei
- 20% Preț: 417.43 lei
- 20% Preț: 406.14 lei
- 20% Preț: 425.84 lei
- 20% Preț: 421.64 lei
- 20% Preț: 420.02 lei
- 20% Preț: 347.46 lei
- 20% Preț: 329.91 lei
- 20% Preț: 349.41 lei
- 20% Preț: 634.50 lei
- 20% Preț: 356.64 lei
- 20% Preț: 349.06 lei
- 20% Preț: 417.93 lei
- 20% Preț: 410.98 lei
- 20% Preț: 412.26 lei
- 20% Preț: 643.88 lei
- 20% Preț: 409.85 lei
- 20% Preț: 409.98 lei
- 20% Preț: 352.12 lei
- 20% Preț: 407.42 lei
- 20% Preț: 407.24 lei
- 20% Preț: 412.08 lei
- 20% Preț: 422.59 lei
- 20% Preț: 406.92 lei
- 20% Preț: 405.32 lei
- 20% Preț: 334.94 lei
- 20% Preț: 351.02 lei
- 20% Preț: 403.86 lei
- 20% Preț: 407.24 lei
- 20% Preț: 405.95 lei
- 20% Preț: 630.62 lei
- 20% Preț: 406.14 lei
- 20% Preț: 403.86 lei
- 20% Preț: 348.59 lei
- 20% Preț: 415.33 lei
- 20% Preț: 414.69 lei
Preț: 410.49 lei
Preț vechi: 513.11 lei
-20% Nou
Puncte Express: 616
Preț estimativ în valută:
78.56€ • 81.60$ • 65.26£
78.56€ • 81.60$ • 65.26£
Carte tipărită la comandă
Livrare economică 01-15 februarie 25
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.