Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Termersetzungssysteme Klaus Drosten

Termersetzungssysteme

Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

Szerző: Klaus Drosten
Nyelv: Német
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 802 Ft
Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktio...

Információk a könyvről

Szerző
Klaus Drosten
Nyelv
Német
Kötés
Könyv - Puha kötésű
Kiadva
2012
oldal
151
EAN
9783540511724
ISBN
3540511725
Enbook ID
06807965
Kiadó
Springer, Berlin
Súly
310
Méretek
165 x 242 x 10

Teljes leírás

Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zurück und wurde besonders populär in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzügen Mitte der 70er Jahre, als die ersten Arbeiten über die Spezifikation abstrakter Datentypen veröffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunächst unabhängig voneinander. Erst in jüngster Zeit wurde mit Erfolg versucht, beide Ansätze in einem gemeinsamen Kalkül zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunächst einen Überblick über die Grundlagen der Ausführung algebraischer Spezifikationen sowie eine Zusammenfassung der benötigten Grundbegriffe. Das Grundkonzept der algebraischen Spezifikation wird um Ausdrucksmittel zur Fehlerbehandlung und Modularisierung in abstrakten Datentypen erweitert. Die Ausdrucksmittel werden besonders im Hinblick auf ihre Operationalisierbarkeit untersucht. Außerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme übersetzen und mit deren Hilfe ausführen lassen. Zum besseren Verständnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich.

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Ethics in Planning

Martin Wachs
28 432 Ft

Nelson

John Knox Laughton
8 742 Ft

Asset Accounting Configuration in SAP ERP

Andrew Okungbowa
22 640 Ft

Radium Girls

KATE MOORE
3 961 Ft

SECRET DIARY OF ADRIAN MOLE

TOWNSEND
3 178 Ft

Considerations upon Christian Truths and Christian Duties Digested into Meditations for Every Day in the Year

Richard Challoner
13 397 Ft

memorial of Nathan B. Crocker, D.D.

Richard Duane
5 734 Ft

Fiqh Al-Istinbaat (2): Dirasat Fee Mabade Bahth Al-Alfaadh

Grand Ayatollah S M T Al-Modarresi Db
5 179 Ft

Liar, Liar, Vol. 3 (Manga)

Haruki Kuou
4 301 Ft