Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Påfyllt med fler pocketböcker – 4 för 3 →

Software Prototyping mit SETL

AvErnst-Erich Doberkat,Dietmar Fox

Häftad, Tyska, 1989

Del i serien Leitfäden und Monographien der Informatik

510 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-10-01
Mått:155 x 235 x 13 mm
Vikt:359 g
Format:Häftad
Språk:Tyska
Serie:Leitfäden und Monographien der Informatik
Antal sidor:229
Upplaga:1989
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519022725

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

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

939 kr

Ernst-Erich Doberkat - Stochastic Relations, E-bok

Stochastic Relations

Ernst-Erich Doberkat

E-bok

2007

1 110 kr

Ernst-Erich Doberkat - Stochastic Relations, E-bok

Stochastic Relations

Ernst-Erich Doberkat

E-bok

2007

1 110 kr

Ernst-Erich Doberkat - Python 3, Häftad

Python 3

Ernst-Erich Doberkat

Häftad, 2018

530 kr

Ernst-Erich Doberkat - Python 3, E-bok

Python 3

Ernst-Erich Doberkat

E-bok

2018

612 kr

Ernst-Erich Doberkat - Python 3, E-bok

Python 3

Ernst-Erich Doberkat

E-bok

2018

612 kr

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

Special Topics in Mathematics for Computer Scientists

Ernst-Erich Doberkat

Inbunden, 2015

653 kr

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

Special Topics in Mathematics for Computer Scientists

Ernst-Erich Doberkat

E-bok

2015

712 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

546 kr

Ernst-Erich Doberkat - Das siebte Buch: Objektorientierung mit C++, E-bok

Das siebte Buch: Objektorientierung mit C++

Ernst-Erich Doberkat

E-bok

2013

440 kr

Mer från samma serie

Datenstrukturen und effiziente Algorithmen, Häftad

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

812 kr

Ingo Wegener - Theoretische Informatik, Häftad

Theoretische Informatik

Ingo Wegener

Häftad, 1993

510 kr

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

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1994

510 kr

Algorithmen in der Computergraphik, Häftad

Algorithmen in der Computergraphik

Springer Fachmedien Wiesbaden

Häftad, 1993

712 kr

Theo Ungerer - Datenflußrechner, Häftad

Datenflußrechner

Theo Ungerer

Häftad, 1993

510 kr

Graphen und Algorithmen, Häftad

Graphen und Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 1994

510 kr

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

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad, 1994

661 kr

Fritz Hohagen - Parsing, Häftad

Parsing

Fritz Hohagen

Häftad, 1994

561 kr

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

Stochastik für Informatiker

Dietmar Pfeifer

Häftad, 1990

812 kr

Herbert Klaeren - Vom Problem zum Programm, Häftad

Vom Problem zum Programm

Herbert Klaeren

Häftad, 1990

510 kr

Du kanske också är intresserad av

Wilfried Brauer - Automatentheorie, Häftad

Automatentheorie

Wilfried Brauer

Häftad, 1984

510 kr

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

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad, 1989

510 kr

Datenstrukturen und effiziente Algorithmen, Häftad

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

812 kr

Parallelrechnerstrukturen, Häftad

Parallelrechnerstrukturen

Springer Fachmedien Wiesbaden

Häftad, 1990

460 kr

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

Algorithmen und Datenstrukturen mit Modula - 2

Niklaus Wirth

Häftad, 1989

460 kr

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

Mathematik für Informatiker

Friedrich Schwarz

Häftad, 1994

561 kr

Prinzipien und Realisierung von Betriebssystemen, Häftad

Prinzipien und Realisierung von Betriebssystemen

Springer Fachmedien Wiesbaden

Häftad, 1989

510 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

510 kr

Analyse von Petri-Netz-Modellen, Häftad

Analyse von Petri-Netz-Modellen

Springer Fachmedien Wiesbaden

Häftad, 1990

460 kr

Leistungsbewertung von Rechensystemen, Häftad

Leistungsbewertung von Rechensystemen

Springer Fachmedien Wiesbaden

Häftad, 1989

510 kr