Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Topological Vector Spaces

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

The Theory Without Convexity Conditions

Norbert Adasch

Bruno Ernst

Dieter Keim

Limba

engleză

Carte Carte broșată

Codul Libristo: 01557317

Editura Springer, Berlin

Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmier... Descrierea completă

Codul Libristo: 01557317

66 b

143.38 lei

În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Genetische Algorithmen. Technischer Darwinismus? Nico Jeske

Carte broșată

75.38 lei

DERECHO DE LAS INSTITUCIONES PúBLICAS ARAGONESAS GIMENEZ ABAD

Carte

271.28 lei

LIEBESLIED LUIGI NONO Materiale tipărite

Note muzicale

94.41 lei

Homes i dones pels carrers de Reus ENRIC TRICAZ

Carte broșată

81.62 lei

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

Carte broșată

149.21 lei

Lasse im Blaubeerland Elsa Beskow

Copertă tare

87.02 lei

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

Carte broșată

116.66 lei

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

Carte broșată

314.23 lei

Grundlegung zur Metaphysik der Sitten Immanuel Kant

Carte broșată

60.61 lei

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

Foaie

48.97 lei

Stimmungsvoller Tempelbesuch in Laos (Puzzle) Martin Ristl

Joc

179.99 lei

Bilder aus dem Kindergarten fur Mutter und Erzieherinnen Ernst Barth

Carte broșată

89.62 lei

Österreichische Hochschulstatistik Ewald Kutzenberger

Carte broșată

203.80 lei

Columbus war ein Engländer Stephen Fry

Carte broșată

93.37 lei

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.