Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand
Computing in Systems Described by Equations

Computing in Systems Described by Equations

10,69 €

inkl. MwSt. versandkostenfrei

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:
Englisch
ISBN:
3540085319
Verlag:
Seitenzahl:
132
Auflage:
-
Erschienen:
1977-12-01
Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural Klimaneutral
Coins Faire Preise
Check Schnelle & einfache Abwicklung
10,69 €

inkl. MwSt. versandkostenfrei

Artikel zZt. nicht lieferbar

10,69 €

inkl. MwSt. versandkostenfrei


Beschreibung

Computing in Systems Described by Equations

I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of SRSs.- VIII: Recursively defined functions.- IX: Applications of SRS theory to LISP and lucid.- X: Another approach to confluence, termination, optimality.

Produktdetails

Einband:
Kartoniert
Seitenzahl:
132
Erschienen:
1977-12-01
Sprache:
Englisch
EAN:
9783540085317
ISBN:
3540085319
Verlag:
Gewicht:
213 g
Auflage:
-
Verwandte Sachgebiete:

Über den Autor


Entdecke mehr vom Verlag


Kundenbewertungen

0
Kundenbewertungen für "Computing in Systems Described by Equations"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.


Neu
10,69 €

Zuletzt angesehen