Del i serien Leitfäden und Monographien der Informatik

Software Prototyping mit SETL

Häftad, Tyska, 1989

AvErnst-Erich Doberkat,Dietmar Fox

659 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-10-01
Mått155 x 235 x 13 mm
Vikt359 g
FormatHäftad
SpråkTyska
SerieLeitfäden und Monographien der Informatik
Antal sidor229
Upplaga1989
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519022725

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

I Einfache Programm-Konstrukte.- I.1 Primitive Datentypen.- I.2 Einfache Kontrollstrukturen.- I.3 Programmaufbau, kleine Programme.- I.4 Aufgaben zu Kapitel I.- II Zusammengesetzte Datentypen.- II.1 Mengen.- II.2 Tupel.- II.3 Abbildungen.- II.4 Beispiel: Einfache Binäre Suchbäume.- II.5 Erweiterungen der Konzepte durch Hinzunahme der komplexen Datentypen.- II.6 Aufgaben zu Kapitel II.- III Beispiele.- III.1 Muster in Zeichenketten.- III.2 Dynamisches Hashen.- III.3 Ein Parser-Generator.- III.4 Aufgaben zu Kapitel III.- IV Programming in the Large — Mechanismen für die Erstellung komplexer Programmsysteme.- IV.1 Einleitung.- IV.2 Aufbau komplexer SETL-Programme.- IV.3 Getrennte Übersetzung.- IV.4 Inclusion Libraries.- V Programm-Transformationen.- V.1 Breitbandsprachen.- V.2 Zwei klassische Transformationen.- V.3 Formale Differenzbildung.- V.4 Transformationelle Ableitung eines Algorithmus zur Speicherbereinigung.- V.5 Transformationen für SETL: Differentiation mengentheoretischer Ausdrücke.- V.6 Abschließende Bemerkungen.- V.7 Übungsaufgaben.- VI Software Prototyping.- VI.1 Der Software Life Cycle.- VI.2 Software Prototyping.- VI.3 SETL als Prototyping-Sprache.- Literatur.

Mer från samma författare

Ernst-Erich Doberkat - Stochastic Relations, Häftad

Stochastic Relations

Ernst-Erich Doberkat

Häftad, 2019

1 259 kr

Ernst-Erich Doberkat - Python 3, Häftad

Python 3

Ernst-Erich Doberkat

Häftad, 2018

689 kr

Ernst-Erich Doberkat - Special Topics in Mathematics for Computer Scientists, Inbunden

Special Topics in Mathematics for Computer Scientists

Ernst-Erich Doberkat

Inbunden, 2015

839 kr

Ernst-Erich Doberkat - Special Topics in Mathematics for Computer Scientists, Häftad

Special Topics in Mathematics for Computer Scientists

Ernst-Erich Doberkat

Häftad, 2016

709 kr

Ernst-Erich Doberkat, Stefan Dißmann - Einführung in Die Objektorientierte Programmierung Mit Java, Inbunden

Einführung in Die Objektorientierte Programmierung Mit Java

Ernst-Erich Doberkat, Stefan Dißmann

Inbunden, 2002

1 869 kr

Ernst-Erich Doberkat - Haskell, Inbunden

Haskell

Ernst-Erich Doberkat

Inbunden, 2012

679 kr

Ernst-Erich Doberkat - Das siebte Buch: Objektorientierung mit C++, Häftad

Das siebte Buch: Objektorientierung mit C++

Ernst-Erich Doberkat

Häftad, 2000

549 kr

Ernst-Erich Doberkat - Stochastic Coalgebraic Logic, Inbunden

Stochastic Coalgebraic Logic

Ernst-Erich Doberkat

Inbunden, 2009

1 399 kr

Ernst-Erich Doberkat - Stochastic Coalgebraic Logic, Häftad

Stochastic Coalgebraic Logic

Ernst-Erich Doberkat

Häftad, 2012

1 399 kr

Ernst-Erich Doberkat - Die Drei, Häftad

Die Drei

Ernst-Erich Doberkat

Häftad, 2019

659 kr

Mer från samma serie

Niklaus Wirth - Algorithmen und Datenstrukturen mit Modula - 2, Häftad

Algorithmen und Datenstrukturen mit Modula - 2

Niklaus Wirth

Häftad, 1989

599 kr

Datenstrukturen und effiziente Algorithmen, Häftad

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

1 049 kr

Ingo Wegener - Theoretische Informatik, Häftad

Theoretische Informatik

Ingo Wegener

Häftad, 1993

659 kr

Reinhold Paul - Elektrotechnik und Elektronik für Informatiker, Häftad

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1994

659 kr

Algorithmen in der Computergraphik, Häftad

Algorithmen in der Computergraphik

Springer Fachmedien Wiesbaden

Häftad, 1993

919 kr

Theo Ungerer - Datenflußrechner, Häftad

Datenflußrechner

Theo Ungerer

Häftad, 1993

659 kr

Graphen und Algorithmen, Häftad

Graphen und Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 1994

659 kr

Theodor Lettmann - Aussagenlogik: Deduktion und Algorithmen, Häftad

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad, 1994

859 kr

Fritz Hohagen - Parsing, Häftad

Parsing

Fritz Hohagen

Häftad, 1994

729 kr

Dietmar Pfeifer - Stochastik für Informatiker, Häftad

Stochastik für Informatiker

Dietmar Pfeifer

Häftad, 1990

1 049 kr

Du kanske också är intresserad av

Wilfried Brauer - Automatentheorie, Häftad

Automatentheorie

Wilfried Brauer

Häftad, 1984

659 kr

Ingo Wegener - Effiziente Algorithmen für grundlegende Funktionen, Häftad

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad, 1989

659 kr

Datenstrukturen und effiziente Algorithmen, Häftad

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

1 049 kr

Parallelrechnerstrukturen, Häftad

Parallelrechnerstrukturen

Springer Fachmedien Wiesbaden

Häftad, 1990

599 kr

Niklaus Wirth - Algorithmen und Datenstrukturen mit Modula - 2, Häftad

Algorithmen und Datenstrukturen mit Modula - 2

Niklaus Wirth

Häftad, 1989

599 kr

Friedrich Schwarz - Mathematik für Informatiker, Häftad

Mathematik für Informatiker

Friedrich Schwarz

Häftad, 1994

729 kr

Prinzipien und Realisierung von Betriebssystemen, Häftad

Prinzipien und Realisierung von Betriebssystemen

Springer Fachmedien Wiesbaden

Häftad, 1989

659 kr

Karl-Heinz Kiyek, Friedrich Schwarz - Mathematik für Informatiker 1, Häftad

Mathematik für Informatiker 1

Karl-Heinz Kiyek, Friedrich Schwarz

Häftad, 1989

659 kr

Analyse von Petri-Netz-Modellen, Häftad

Analyse von Petri-Netz-Modellen

Springer Fachmedien Wiesbaden

Häftad, 1990

599 kr

Leistungsbewertung von Rechensystemen, Häftad

Leistungsbewertung von Rechensystemen

Springer Fachmedien Wiesbaden

Häftad, 1989

659 kr