202 S. Guter Zustand. Die Leseseiten sind sauber und ohne Markierungen. Leichte Lager- und Gebrauchsspuren. Ausgeschiedenes Bibliotheksexemplar mit entsprechender Kennzeichnung. Buchr�cken mit Leserillen. Ansonsten ordentliches Exemplar. 9783540151630 Sprache: Deutsch Gewicht in Gramm: 1000.

Seller Inventory # 305256

Contact seller

Report this item

Bibliographic Details

Title

Semantik von Programmiersprachen

Publisher

Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer

Publication Date

1989

Language

German

ISBN 10

354015163X

ISBN 13

9783540151630

Binding

Softcover

Seller catalogs

Informatik

About this title

Synopsis

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zun�chst werden unterschiedliche Formalisierungsans�tze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschlie�end wird die mathematische Theorie der semantischen Bereiche entwickelt, die bei der zur Zeit wichtigsten, der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, PASCAL-orientierte Programmiersprache entwickelt und die Semantik der einzelnen Sprachkonstrukte denotationell spezifiziert. Die Fortsetzungssemantik (continuation semantics) wird dabei systematisch erkl�rt und verwendet. Schlie�lich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen. Das Wissen, das in diesem Buch vermittelt wird, erm�glicht es, selbst�ndig die Semantik neuer, unterschiedlicher Sprachkonstrukte formal zu definieren und damit umzugehen, und nat�rlich vorgegebene formale Beschreibungen zu verstehen. Dies ist besonders wichtig bei der Entwicklung neuer Sprachen, beim Beweisen von Programmeigenschaften und beim Compilerbau.

"About this title" may belong to another edition of this title.

Store Description

Das Roland Antiquariat ist ein im Jahre 2001 gegr�ndetes Versand-Antiquariat mit einem breiten Sortiment antiquarischer und seltener B�cher aus zahlreichen Gebieten. Schwerpunkte sind Fotob�cher, Geschichte, Milit�rgeschichte, Kulturgeschichte,Philosophie, Orts- und Landeskunde sowie generell wissenschaftliche Literatur. Zur Erweiterung unseres Sortiments sind wir stets am Ankauf interessanter Einzelst�cke sowie gr��erer Sammlungen zu einem Thema oder auch ganzer Bibliotheken, vorzugsweise wissenschaftlichen Inhalts, interessiert. Rufen Sie uns gerne an unter 06201-7303617 oder schreiben Sie eine mail an info@rolandantiquariat.de. Als Versandantiquariat f�hren wir kein Ladengesch�ft mit festen �ffungszeiten, Besucher sind jedoch nach telefonischer Voranmeldung jederzeit willkommen.

Visit Seller's Storefront

Seller's business information

Roland Antiquariat UG (haftungsbeschr�nkt)
M�hlweg 11, Weinheim, 69469, Germany

Sale & Shipping Terms

Terms of Sale

Impressum: Roland Antiquariat UG (haftungsbeschr�nkt), M�hlweg 11, 69469 Weinheim, Deutschland Tel.: 06201-7303617 Fax: 06201-2749959 E-Mail: info@rolandantiquariat.de Registergericht: Amtsgericht Mannheim Registernummer: HRB 725900 Gesch�ftsf�hrer: Ali Mert Umsatzsteuer-Identifikationsnummer gem�� 27 a Umsatzsteuergesetz: DE266059823 Link zur k�nftigen EU-Plattform zur Online-Streitbeilegung: www.ec.europa.eu/consumers/odr

Shipping Terms

Wir versenden unsere B�cher mit der Deutschen Post (B�chersendung / Presse und Buch International) oder mit DHL (Paket national und international).

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	7 to 21 business days	5 to 14 business days
First item	US$ 17.33	US$ 23.12

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.