Termersetzungssysteme

Name: Termersetzungssysteme
Brand: Springer Nature
SKU: 9783540511724
Availability: InStock

Best Price (Coupon Required):
Buy Termersetzungssysteme for $40.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $44.99 - $44.99

BEST PRICE

Single Product Purchase

$40.50

@ Link.springer.com with extra coupon

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com		$44.99	$44.99		10% OFF This deals requires coupon	$40.50		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783540511724

Condition

New

Product Description

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.

Available Colors

N/A

Available Sizes

N/A