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: 594 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

59 b

594 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

Genetische Algorithmen. Technischer Darwinismus? Nico Jeske

Brožovaná

309 Kč

DERECHO DE LAS INSTITUCIONES PúBLICAS ARAGONESAS GIMENEZ ABAD

Kniha

1 253 Kč

LIEBESLIED LUIGI NONO Tiskovina

Noty

436 Kč

Homes i dones pels carrers de Reus ENRIC TRICAZ

Brožovaná

377 Kč

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

Brožovaná

620 Kč

Lasse im Blaubeerland Elsa Beskow

Pevná

441 Kč

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

Brožovaná

489 Kč

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

Brožovaná

1 451 Kč

Grundlegung zur Metaphysik der Sitten Immanuel Kant

Brožovaná

249 Kč

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

List

205 Kč

Stimmungsvoller Tempelbesuch in Laos (Puzzle) Martin Ristl

Hra

831 Kč

Bilder aus dem Kindergarten fur Mutter und Erzieherinnen Ernst Barth

Brožovaná

368 Kč

Österreichische Hochschulstatistik Ewald Kutzenberger

Brožovaná

941 Kč

Columbus war ein Engländer Stephen Fry

Brožovaná

431 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.