Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Topological Vector Spaces

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

The Theory Without Convexity Conditions

Norbert Adasch

Bruno Ernst

Dieter Keim

Język

Angielski

Książka Miękka

Kod Libristo: 01557317

Wydawnictwo Springer, Berlin

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmier... Cały opis

Kod Libristo: 01557317

63 b

111.65 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

DERECHO DE LAS INSTITUCIONES PúBLICAS ARAGONESAS GIMENEZ ABAD

Książka

205.45 zł

Homes i dones pels carrers de Reus ENRIC TRICAZ

Miękka

60.21 zł

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

Miękka

258.32 zł

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

Miękka

116.65 zł

Genetische Algorithmen. Technischer Darwinismus? Nico Jeske

Miękka

58.47 zł

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

Miękka

91.54 zł

Grundlegung zur Metaphysik der Sitten Immanuel Kant

Miękka

47.25 zł

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

Karta

38.47 zł

Österreichische Hochschulstatistik Ewald Kutzenberger

Miękka

167.48 zł

Columbus war ein Engländer Stephen Fry

Miękka

76.64 zł

Stimmungsvoller Tempelbesuch in Laos (Puzzle) Martin Ristl

Gra

147.88 zł

Bilder aus dem Kindergarten fur Mutter und Erzieherinnen Ernst Barth

Miękka

69.60 zł

Lasse im Blaubeerland Elsa Beskow

Twarda

67.56 zł

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.