Software Prototyping mit SETL

AvErnst-Erich Doberkat,Dietmar Fox

Häftad, Tyska, 1989

Del i serien Leitfäden und Monographien der Informatik

500 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

Stochastic Relations

Ernst-Erich Doberkat

Häftad

902 kr

Stochastic Relations

Ernst-Erich Doberkat

Inbunden

1 459 kr

Python 3

Ernst-Erich Doberkat

Häftad

519 kr

Special Topics in Mathematics for Computer Scientists

Ernst-Erich Doberkat

Inbunden

646 kr

Special Topics in Mathematics for Computer Scientists

Ernst-Erich Doberkat

Häftad

535 kr

Einführung in Die Objektorientierte Programmierung Mit Java

Ernst-Erich Doberkat, Stefan Dißmann

Inbunden

1 340 kr

Haskell

Ernst-Erich Doberkat

Inbunden

507 kr

Das siebte Buch: Objektorientierung mit C++

Ernst-Erich Doberkat

Häftad

414 kr

Stochastic Coalgebraic Logic

Ernst-Erich Doberkat

Inbunden

1 064 kr

Stochastic Coalgebraic Logic

Ernst-Erich Doberkat

Häftad

1 064 kr

Mer från samma serie

Datenstrukturen und effiziente Algorithmen

Häftad

797 kr

Theoretische Informatik

Ingo Wegener

Häftad

500 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad

501 kr

Algorithmen in der Computergraphik

Häftad

698 kr

Datenflußrechner

Theo Ungerer

Häftad

500 kr

Graphen und Algorithmen

Häftad

500 kr

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad

649 kr

Parsing

Fritz Hohagen

Häftad

550 kr

Stochastik für Informatiker

Dietmar Pfeifer

Häftad

797 kr

Vom Problem zum Programm

Herbert Klaeren

Häftad

500 kr

Du kanske också är intresserad av

Automatentheorie

Wilfried Brauer

Häftad

500 kr

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad

500 kr

Datenstrukturen und effiziente Algorithmen

Häftad

797 kr

Parallelrechnerstrukturen

Häftad

451 kr

Algorithmen und Datenstrukturen mit Modula - 2

Niklaus Wirth

Häftad

451 kr

Mathematik für Informatiker

Friedrich Schwarz

Häftad

550 kr

Prinzipien und Realisierung von Betriebssystemen

Häftad

501 kr

Mathematik für Informatiker 1

Karl-Heinz Kiyek, Friedrich Schwarz

Häftad

500 kr

Analyse von Petri-Netz-Modellen

Häftad

451 kr

Leistungsbewertung von Rechensystemen

Häftad

501 kr