Software Prototyping mit SETL

AvErnst-Erich Doberkat,Dietmar Fox

Häftad, Tyska, 1989

Del i serien Leitfäden und Monographien der Informatik

509 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, 2019

920 kr

Python 3

Ernst-Erich Doberkat

Häftad, 2018

511 kr

Special Topics in Mathematics for Computer Scientists

Ernst-Erich Doberkat

Inbunden, 2015

652 kr

Special Topics in Mathematics for Computer Scientists

Ernst-Erich Doberkat

Häftad, 2016

544 kr

Einführung in Die Objektorientierte Programmierung Mit Java

Ernst-Erich Doberkat, Stefan Dißmann

Inbunden, 2002

1 373 kr

Haskell

Ernst-Erich Doberkat

Inbunden, 2012

518 kr

Das siebte Buch: Objektorientierung mit C++

Ernst-Erich Doberkat

Häftad, 2000

421 kr

Stochastic Coalgebraic Logic

Ernst-Erich Doberkat

Inbunden, 2009

1 082 kr

Stochastic Coalgebraic Logic

Ernst-Erich Doberkat

Häftad, 2012

1 082 kr

Die Drei

Ernst-Erich Doberkat

Häftad, 2019

509 kr

Mer från samma serie

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

811 kr

Theoretische Informatik

Ingo Wegener

Häftad, 1993

509 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1994

509 kr

Algorithmen in der Computergraphik

Springer Fachmedien Wiesbaden

Häftad, 1993

710 kr

Datenflußrechner

Theo Ungerer

Häftad, 1993

509 kr

Graphen und Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 1994

509 kr

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad, 1994

660 kr

Parsing

Fritz Hohagen

Häftad, 1994

559 kr

Stochastik für Informatiker

Dietmar Pfeifer

Häftad, 1990

811 kr

Vom Problem zum Programm

Herbert Klaeren

Häftad, 1990

509 kr

Du kanske också är intresserad av

Automatentheorie

Wilfried Brauer

Häftad, 1984

509 kr

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad, 1989

509 kr

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

811 kr

Parallelrechnerstrukturen

Springer Fachmedien Wiesbaden

Häftad, 1990

459 kr

Algorithmen und Datenstrukturen mit Modula - 2

Niklaus Wirth

Häftad, 1989

459 kr

Mathematik für Informatiker

Friedrich Schwarz

Häftad, 1994

559 kr

Prinzipien und Realisierung von Betriebssystemen

Springer Fachmedien Wiesbaden

Häftad, 1989

509 kr

Mathematik für Informatiker 1

Karl-Heinz Kiyek, Friedrich Schwarz

Häftad, 1989

506 kr

Analyse von Petri-Netz-Modellen

Springer Fachmedien Wiesbaden

Häftad, 1990

459 kr

Leistungsbewertung von Rechensystemen

Springer Fachmedien Wiesbaden

Häftad, 1989

509 kr