Produktbild: Automatische Komplexitätsanalyse funktionaler Programme
Band 261

Automatische Komplexitätsanalyse funktionaler Programme

Aus der Reihe Informatik-Fachberichte

54,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.11.1990

Abbildungen

VII, mit Abbildung

Verlag

Springer Berlin

Seitenzahl

196

Maße (L/B/H)

24,2/17/1,2 cm

Gewicht

368 g

Sprache

Deutsch

ISBN

978-3-540-53430-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.11.1990

Abbildungen

VII, mit Abbildung

Verlag

Springer Berlin

Seitenzahl

196

Maße (L/B/H)

24,2/17/1,2 cm

Gewicht

368 g

Sprache

Deutsch

ISBN

978-3-540-53430-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel finden Sie in

  • Produktbild: Automatische Komplexitätsanalyse funktionaler Programme
  • 1 Einleitung.- 2 Ansätze zur automatischen Komplexitätsanalyse.- 3 Das Maschinenmodell.- 4 Das Abbilden auf Rekurrenzen.- 5 Das Lösen von Rekurrenzen.- 6 Probabilistische Semantik.- 7 Zusammenfassung und Ausblick.- A Das Lösen von Rekurrenzen und Rekurrenzsystemen.- A.1 Lineare Rekurrenzen 1-ter Ordnung.- A.3 Rekurrenzsysteme.- A.4 Die Methode der erzeugenden Funktionen.- B Die Korrektheit der Übersetzungen.- C Eigenschaften von Folgen und Funktionen.- C.1 Folgen.- C.2 Funktionen.- Literatur.