Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Topological Vector Spaces

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

The Theory Without Convexity Conditions

Norbert Adasch

Bruno Ernst

Dieter Keim

Език

Английски език

Книга С меки корици

Код Либристо: 01557317

Издателство Springer, Berlin

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmier... Цялото описание

Код Либристо: 01557317

66 b

27.32 €

53.44 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

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

С меки корици

62.97 € 123.15 лв

DERECHO DE LAS INSTITUCIONES PúBLICAS ARAGONESAS GIMENEZ ABAD

Книга

53.72 € 105.06 лв

LIEBESLIED LUIGI NONO Печатни материали

Ноти

18.80 € 36.77 лв

Homes i dones pels carrers de Reus ENRIC TRICAZ

С меки корици

16.32 € 31.92 лв

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

С меки корици

28.46 € 55.66 лв

Genetische Algorithmen. Technischer Darwinismus? Nico Jeske

С меки корици

14.36 € 28.08 лв

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

С меки корици

21.23 € 41.51 лв

Grundlegung zur Metaphysik der Sitten Immanuel Kant

С меки корици

11.57 € 22.62 лв

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

Лист

9.34 € 18.28 лв

Österreichische Hochschulstatistik Ewald Kutzenberger

С меки корици

40.80 € 79.81 лв

Stimmungsvoller Tempelbesuch in Laos (Puzzle) Martin Ristl

Игра

36.10 € 70.61 лв

Bilder aus dem Kindergarten fur Mutter und Erzieherinnen Ernst Barth

С меки корици

17.09 € 33.43 лв

Columbus war ein Engländer Stephen Fry

С меки корици

18.80 € 36.77 лв

Lasse im Blaubeerland Elsa Beskow

С твърди корици

16.58 € 32.42 лв

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.