Von dem Buch Termersetzungssysteme haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Klaus Drosten: Termersetzungssysteme (ISBN: 9783642747694) in Deutsch, auch als eBook.Nur diese Ausgabe anzeigen…
87%: Klaus Drosten: Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen (Informatik-Fachberichte, Band 210) (ISBN: 9783540511724) 1989, in Deutsch, Band: 210, Taschenbuch.Nur diese Ausgabe anzeigen…
Termersetzungssysteme - 11 Angebote vergleichen
Bester Preis: € 2,56 (vom 12.09.2019)1
Symbolbild
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen., (= Informatik-Fachberichte ; 210). (1989)
DEISBN: 9783540511724 bzw. 3540511725, in Deutsch, Berlin - Heidelberg - New York - London - Paris - Tokyo, Springer.
Von Händler/Antiquariat, COTTAGE Antiquariat [2491492], Langenzersdorf, Austria.
VIII, 152 Seiten, graph. Darst. ; 25 cm Einband leicht berieben, kleiner, dezenter Namensstempel auf Vortitel, Titel, Kopfschnitt. Solides und sauberes Exemplar. IS: 3540511725 ****An unsere Kunden in Deutschland: Versand nach Deutschland ein- bis zweimal in der Woche ab Freilassing mit der Deutschen Post, im Regelfall in offener Rechnung. Unsere Rechnungen an deutsche Kunden enthalten deutsche Umsatzsteuer!***Bankkonten in Deutschland und Österreich*** - Sprache: Deutsch Gewicht in Gramm: 550.
VIII, 152 Seiten, graph. Darst. ; 25 cm Einband leicht berieben, kleiner, dezenter Namensstempel auf Vortitel, Titel, Kopfschnitt. Solides und sauberes Exemplar. IS: 3540511725 ****An unsere Kunden in Deutschland: Versand nach Deutschland ein- bis zweimal in der Woche ab Freilassing mit der Deutschen Post, im Regelfall in offener Rechnung. Unsere Rechnungen an deutsche Kunden enthalten deutsche Umsatzsteuer!***Bankkonten in Deutschland und Österreich*** - Sprache: Deutsch Gewicht in Gramm: 550.
2
Symbolbild
Termersetzungssysteme (1989)
DE PB NW RPISBN: 9783540511724 bzw. 3540511725, in Deutsch, Springer Apr 1989, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 151 pp. Deutsch.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 151 pp. Deutsch.
3
Termersetzungssysteme
~DE NW EB DLISBN: 9783642747694 bzw. 3642747698, vermutlich in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lagernd, zzgl. Versandkosten.
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. eBook.
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. eBook.
4
Symbolbild
Termersetzungssysteme: Grundlagen Der Prototyp-Generierung Algebraischer Spezifikationen
DE PB NWISBN: 9783540511724 bzw. 3540511725, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 151 pages. Dimensions: 9.6in. x 6.7in. x 0.4in.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 zurck und wurde besonders populr in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzgen Mitte der 70er Jahre, als die ersten Arbeiten ber die Spezifikation abstrakter Datentypen verffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunchst unabhngig voneinander. Erst in jngster Zeit wurde mit Erfolg versucht, beide Anstze in einem gemeinsamen Kalkl zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunchst einen berblick ber die Grundlagen der Ausfhrung algebraischer Spezifikationen sowie eine Zusammenfassung der bentigten 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. Auerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme bersetzen und mit deren Hilfe ausfhren lassen. Zum besseren Verstndnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 151 pages. Dimensions: 9.6in. x 6.7in. x 0.4in.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 zurck und wurde besonders populr in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzgen Mitte der 70er Jahre, als die ersten Arbeiten ber die Spezifikation abstrakter Datentypen verffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunchst unabhngig voneinander. Erst in jngster Zeit wurde mit Erfolg versucht, beide Anstze in einem gemeinsamen Kalkl zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunchst einen berblick ber die Grundlagen der Ausfhrung algebraischer Spezifikationen sowie eine Zusammenfassung der bentigten 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. Auerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme bersetzen und mit deren Hilfe ausfhren lassen. Zum besseren Verstndnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
5
Termersetzungssysteme - Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
DE NW EB DLISBN: 9783642747694 bzw. 3642747698, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Termersetzungssysteme: 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 zuruck und wurde besonders popular in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzugen Mitte der 70er Jahre, als die ersten Arbeiten uber die Spezifikation abstrakter Datentypen veroffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunachst unabhangig voneinander. Erst in jungster Zeit wurde mit Erfolg versucht, beide Ansatze in einem gemeinsamen Kalkul zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunachst einen Uberblick uber die Grundlagen der Ausfuhrung algebraischer Spezifikationen sowie eine Zusammenfassung der benotigten 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. Auerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme ubersetzen und mit deren Hilfe ausfuhren lassen. Zum besseren Verstandnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich. Ebook.
Termersetzungssysteme: 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 zuruck und wurde besonders popular in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzugen Mitte der 70er Jahre, als die ersten Arbeiten uber die Spezifikation abstrakter Datentypen veroffentlicht wurden. Obwohl die algebraische und die logische Programmierung auf gemeinsamen Prinzipien beruhen, entwickelten sie sich zunachst unabhangig voneinander. Erst in jungster Zeit wurde mit Erfolg versucht, beide Ansatze in einem gemeinsamen Kalkul zu vereinen. Das Buch wendet sich an alle, die an den theoretischen Grundlagen der algebraischen und logischen Programmierung interessiert sind. Es gibt zunachst einen Uberblick uber die Grundlagen der Ausfuhrung algebraischer Spezifikationen sowie eine Zusammenfassung der benotigten 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. Auerdem wird gezeigt, wie (und wann) sich algebraische Spezifikationen automatisch in PROLOG-Programme ubersetzen und mit deren Hilfe ausfuhren lassen. Zum besseren Verstandnis des Textes sind Grundkenntnisse der mathematischen Logik hilfreich. Ebook.
6
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen. (= Informatik-Fachberichte ; 210). (1989)
DE USISBN: 3540511725 bzw. 9783540511724, in Deutsch, Berlin - Heidelberg - New York - London - Paris - Tokyo, Springer, gebraucht.
Lieferung aus: Österreich, Versandkosten in die BRD.
Von Händler/Antiquariat, Cottage Antiquariat, 2103 Langenzersdorf.
VIII, 152 Seiten, graph. Darst. ; 25 cm Gr.-8°, Original-Broschur Einband leicht berieben, kleiner, dezenter Namensstempel auf Vortitel, Titel, Kopfschnitt. Solides und sauberes Exemplar. IS: 3540511725 Versand D: 7,50 EUR Informatik, Datenverarbeitung.
Von Händler/Antiquariat, Cottage Antiquariat, 2103 Langenzersdorf.
VIII, 152 Seiten, graph. Darst. ; 25 cm Gr.-8°, Original-Broschur Einband leicht berieben, kleiner, dezenter Namensstempel auf Vortitel, Titel, Kopfschnitt. Solides und sauberes Exemplar. IS: 3540511725 Versand D: 7,50 EUR Informatik, Datenverarbeitung.
7
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen (Informatik-Fachberichte, Band 210) (1989)
DE PB NWISBN: 9783540511724 bzw. 3540511725, Band: 210, in Deutsch, 164 Seiten, Springer Berlin Heidelberg, Taschenbuch, neu.
Neu ab: € 54,99 (3 Angebote)
Gebraucht ab: € 75,29 (4 Angebote)
Zu den weiteren 7 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Gewöhnlich versandfertig in 24 Stunden, Versandkostenfrei.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen (Informatik-Fachberichte, Band 210) (1989)
DE PB USISBN: 9783540511724 bzw. 3540511725, Band: 210, in Deutsch, 164 Seiten, Springer Berlin Heidelberg, Taschenbuch, gebraucht.
Neu ab: € 54,99 (3 Angebote)
Gebraucht ab: € 75,29 (4 Angebote)
Zu den weiteren 7 Angeboten bei Amazon.de (Int.)
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen, Versandkostenfrei. Tatsächliche Versandkosten können abweichen.
Von Händler/Antiquariat, EBICHU ^0^ TRADING.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, EBICHU ^0^ TRADING.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Symbolbild
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen (Informatik-Fachberichte) (German Edition) (1989)
~DE PBISBN: 9783540511724 bzw. 3540511725, vermutlich in Deutsch, Springer, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: DEU.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1989-04-26. Paperback. Used:Good.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1989-04-26. Paperback. Used:Good.
10
Symbolbild
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen (Informatik-Fachberichte) (German Edition) (1989)
DE PB NWISBN: 9783540511724 bzw. 3540511725, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
160 pages. German language. In Stock.
160 pages. German language. In Stock.
Lade…