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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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: 107.29 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

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Paperback

8.09 €

Ravensbrück Sarah Helmová

Hardback

30.19 €

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

Hardback

977.09 €

ZYX Italo Disco: Flemming Dalum Remixes

Audio CD

17.19 €

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

Paperback

20.89 €

L'Astrolabe LESSON PIERRE-ADOLPHE

Paperback

60.59 €

Marifetullah Imam-I Gazali

Paperback

11.59 €

Aktivitäten zur Sprachförderung Claudia Iven

Paperback

25.00 €

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

Paperback

14.19 €

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

Paperback

41.59 €

Engel Sandra Oberheim

Paperback

15.55 €

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

Paperback

25.89 €

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.