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 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.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: 35.16 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

85 b

35.16 €

Skladom u dodávateľa Odosielame za 10-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

60.09 €

DERECHO DE LAS INSTITUCIONES PúBLICAS ARAGONESAS GIMENEZ ABAD

Kniha

51.88 €

LIEBESLIED LUIGI NONO Tlačovina

Noty

18.03 €

Homes i dones pels carrers de Reus ENRIC TRICAZ

Brožovaná

15.60 €

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

Brožovaná

27.15 €

Genetische Algorithmen. Technischer Darwinismus? Nico Jeske

Brožovaná

13.57 €

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

Brožovaná

20.26 €

Grundlegung zur Metaphysik der Sitten Immanuel Kant

Brožovaná

12.86 €

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

List

8.91 €

Österreichische Hochschulstatistik Ewald Kutzenberger

Brožovaná

38.91 €

Stimmungsvoller Tempelbesuch in Laos (Puzzle) Martin Ristl

Hra

34.45 €

Bilder aus dem Kindergarten fur Mutter und Erzieherinnen Ernst Barth

Brožovaná

22.29 €

Columbus war ein Engländer Stephen Fry

Brožovaná

17.83 €

Lasse im Blaubeerland Elsa Beskow

Pevná

15.70 €

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.