Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Mathematical Foundations of Programming Semantics

Name: Mathematical Foundations of Programming Semantics
Brand: Springer, Berlin
SKU: 01565808
Price: 102.97 EUR
Availability: InStock
Author: Stephen D. Brookes
ISBN: 9783540580270

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

Stephen D. Brookes

Michael G. Main

Austin C. Melton

Language

English

Book Paperback

Libristo code: 01565808

Publishers Springer, Berlin, November 1993

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations... Full description

Libristo code: 01565808

249 b

102.97 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

BABADADA black-and-white, norsk (nynorsk) - Swati, visuell ordbok - sichazamavi lesibonakalako

Paperback

7.88 €

Wilfried Seibicke: Historisches Deutsches Vornamenbuch. Bände 1-5 Wilfried Seibicke

Hardback

942.67 €

sentiero si crea camminando. Lo zen come metafora della vita Osho

Paperback

13.04 €

imprevedibilità dell’amore. Hacked heart Laraine Moonstone

Paperback

15.06 €

ZYX Italo Disco: Flemming Dalum Remixes

Audio CD

16.58 €

¿Qué será de ti? / Como vai voc^? AGUILAR

Paperback

20.12 €

L'Astrolabe LESSON PIERRE-ADOLPHE

Paperback

58.76 €

poznámkový sešit Mláďátka II, A4, 80 g, 40 listů, linka, mix 6 motivů

Stationery items

1.61 €

Huele a sol, sabe a luna EMILIA PESQUEIRA

Audio CD

16.48 €

BABADADA, Afrikaans - Mirpuri (in arabic script), geillustreerde woordeboek - visual dictionary (in arabic script) Babadada Gmbh

Paperback

28.31 €

Marifetullah Imam-I Gazali

Paperback

11.22 €

Geschichte Der Haupt- Und Residenzstadt Kassel. Franz Carl Theodor Piderit

Paperback

28.41 €

Suppen - Rund um die Welt Mirko Reeh

Paperback

13.54 €

Aktivitäten zur Sprachförderung Claudia Iven

Paperback

23.76 €

Notice de Livres Classiques, l'Enseignement Secondaire Classique, l'Enseignement Superieur 1889 Hachette Et Cie

Paperback

13.65 €

Node.js, Javascript del lado del servidor : manual práctico avanzado Manuel López Quintero

Paperback

40.45 €

Psyche Erwin Rohde

Paperback

47.13 €

Engel Sandra Oberheim

Paperback

14.05 €

Allgemeine Geschäftsbedingungen in der europäischen Rechtspraxis Walter Schuppich

Paperback

24.98 €

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.