Das vorliegende Buch ist aus mehreren Vorlesungen hervorgegangen, die ich an der Fakult�t f�r Informatik der Universit�t T�bingen gehalten habe. Diese Vorlesungen richteten sich an Studenten, die Informatik im Haupt- oder Nebenfach studierten. Neben Informatikern k�nnte dieses Buch aber auch f�r alle, die sich mit formalen Systemen besch�ftigen, wertvoll sein, insbesondere Mathematiker, Logiker und Sprachwissenschaftler. Das Buch ist eine Einf�hrung in das Gebiet der Termersetzungssysteme. Dennoch setzt es ei- nige fundamentale Grundlagen der Informatik voraus. Diese Grundkenntnisse umfassen die Grundlagen des Programmierens, ein intuitives Verst�ndnis der Pr�dikatenlogik und gewisse theoretische Grundlagen (Berechenbarkeit und formale Sprachen), so wie es im allgemeinen bis zum Informatikvordiplom (sowohl im Haupt- als auch im Nebenfach) vermittelt wird. Auch wenn dieses Buch zun�chst als Einf�hrung in die Termersetzungssysteme gedacht ist, so soll es die Leser letztlich in die Lage versetzen, selbst�ndig aktuelle Forschungspublika- tionen zu studieren. Systeme! zu spezifizieren ist eine wichtige Aufgabe in allen Bereichen der Informatik. Die Spezifikation geh�rt zur Entwurfsphase jedes Projektes und dient als (Vertrags-)Grundlage f�r seine Realisierung (Implementierung), ebenso zur Dokumentation, und sie ist �u�erst wichtig bei der Wartung eines fertigen Systems. Formale, d. h. mathematisch exakte Spezifi- kationen haben den unbestreitbaren Vorteil, da� sie keinerlei Interpretationsspielraum lassen und somit unzweideutig festlegen, was ein System wirklich leisten soll. Leider sind forma- 2 le Spezifikationen f�r Unge�bte sowohl schwierig zu erstellen als auch zu lesen. Deshalb fehlt oft die Motivation, eine formale Spezifikation zu erstellen.

� propos de l?auteur

PD Dr. Reinhard B�ndgen ist Mitarbeiter bei der IBM Deutschland Entwicklung GmbH und Privatdozent an der Fakult�t f�r Informatik der Universit�t T�bingen.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

TBA

Conditions d'exp�dition

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.