Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Topological Vector Spaces

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

The Theory Without Convexity Conditions

Norbert Adasch

Bruno Ernst

Dieter Keim

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01557317

Nakladateľstvo Springer, Berlin

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmier... Celý popis

Libristo kód: 01557317

63 b

25.96 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Pasaje de vuelta Montojo

Brožovaná

18.15 €

DERECHO DE LAS INSTITUCIONES PúBLICAS ARAGONESAS GIMENEZ ABAD

Kniha

51.83 €

E. BOURDEAU: SOLO NO.2 (BASSOON & PIANO) BOURDEAU Kniha

binding.

30.83 €

Homes i dones pels carrers de Reus ENRIC TRICAZ

Brožovaná

15.51 €

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

Brožovaná

27.18 €

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

Brožovaná

59.85 €

Genetische Algorithmen. Technischer Darwinismus? Nico Jeske

Brožovaná

13.58 €

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

Brožovaná

20.28 €

Stimmungsvoller Tempelbesuch in Laos (Puzzle) Martin Ristl

Hra

34.18 €

Bilder aus dem Kindergarten fur Mutter und Erzieherinnen Ernst Barth

Brožovaná

16.22 €

Lasse im Blaubeerland Elsa Beskow

Pevná

15.71 €

Österreichische Hochschulstatistik Ewald Kutzenberger

Brožovaná

38.74 €

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

List

8.92 €

Grundlegung zur Metaphysik der Sitten Immanuel Kant

Brožovaná

10.95 €

Pád Granady a zánik al-Andalusu

Pevná

10.74 €

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.