Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Topological Vector Spaces

Name: Topological Vector Spaces
Brand: Springer, Berlin
SKU: 01557317
Price: 628 CZK
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

Nakladatelství Springer, Berlin

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

Libristo kód: 01557317

63 b

628 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

DERECHO DE LAS INSTITUCIONES PúBLICAS ARAGONESAS GIMENEZ ABAD

Kniha

1 153 Kč

Homes i dones pels carrers de Reus ENRIC TRICAZ

Brožovaná

338 Kč

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

Brožovaná

1 450 Kč

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

Brožovaná

620 Kč

Genetische Algorithmen. Technischer Darwinismus? Nico Jeske

Brožovaná

309 Kč

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

Brožovaná

489 Kč

Grundlegung zur Metaphysik der Sitten Immanuel Kant

Brožovaná

265 Kč

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

List

216 Kč

Österreichische Hochschulstatistik Ewald Kutzenberger

Brožovaná

940 Kč

Columbus war ein Engländer Stephen Fry

Brožovaná

430 Kč

Stimmungsvoller Tempelbesuch in Laos (Puzzle) Martin Ristl

Hra

830 Kč

Bilder aus dem Kindergarten fur Mutter und Erzieherinnen Ernst Barth

Brožovaná

391 Kč

Lasse im Blaubeerland Elsa Beskow

Pevná

379 Kč

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.