Kniha Mathematical Foundations of Programming Semantics Stephen D. Brookes

Mathematical Foundations of Programming Semantics

9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
99.69
This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1994
Stránok
654
EAN
9783540580270
ISBN
3540580271
Enbook ID
01565808
Vydavateľ
Hmotnosť
810
Rozmery
155 x 233 x 34

Kompletný popis

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.

Mohlo by vás zaujímať

82.06
13.60
11.35
7.63
34.17

Love To Give

Sharyn Boe-Blue
23.30

Ephphatha

T.L.C. Succour
10.96
17.62
13.02
8.51
99.69

Gods of Eden

William Bramley
8.32

No Votes for Women

Susan Goodier
26.83
54.25

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Ravensbrück

Sarah Helmová
25.96

L'Astrolabe

LESSON PIERRE-ADOLPHE
56.89

Marifetullah

Imam-I Gazali
10.86

Engel

Sandra Oberheim
13.60