Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Topological Vector Spaces

Name: Topological Vector Spaces
Brand: Springer, Berlin
SKU: 01557317
Price: 25.69 EUR
Availability: InStock
Author: Norbert Adasch
ISBN: 9783540086628

The Theory Without Convexity Conditions

Norbert Adasch

Bruno Ernst

Dieter Keim

Sprache

Englisch

Buch Broschur

Libristo-Code: 01557317

Verlag Springer, Berlin

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmier... Vollständige Beschreibung

Libristo-Code: 01557317

63 b

25.69 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

DERECHO DE LAS INSTITUCIONES PúBLICAS ARAGONESAS GIMENEZ ABAD

Buch

47.09 €

Homes i dones pels carrers de Reus ENRIC TRICAZ

Broschur

13.89 €

Die Einflüsse von Macht und Vertrauen auf die Steuerehrlichkeit Barbara Mühlwerth

Broschur

59.00 €

Atatürkün Bütün Eserleri Cilt 23 Mustafa Kemal Atatürk

Broschur

28.19 €

Genetische Algorithmen. Technischer Darwinismus? Nico Jeske

Broschur

14.99 €

de la Nature Des Dieux de Marc. Tul. Ciceron. Traduits En Francois CICERON

Broschur

17.89 €

Grundlegung zur Metaphysik der Sitten Immanuel Kant

Broschur

12.00 €

Englisch-Stars - Allgemeine Ausgabe - 3. Schuljahr Barbara Gleich

Blatt

8.79 €

Österreichische Hochschulstatistik Ewald Kutzenberger

Broschur

36.34 €

Columbus war ein Engländer Stephen Fry

Broschur

18.00 €

Stimmungsvoller Tempelbesuch in Laos (Puzzle) Martin Ristl

Spiel

33.99 €

Bilder aus dem Kindergarten fur Mutter und Erzieherinnen Ernst Barth

Broschur

17.90 €

Lasse im Blaubeerland Elsa Beskow

Hardcover

18.00 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Topological Vector Spaces

Autor Norbert Adasch, Bruno Ernst, Dieter Keim

Sprache

Englisch

Einband Buch - Broschur

Anzahl der Seiten 132

EAN 9783540086628

ISBN 3540086625

Libristo-Code 01557317

Verlag Springer, Berlin

Gewicht 240

Abmessungen 156 x 234 x 7

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Funktionalanalysis und Abwandlungen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert