Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Mathematical Foundations of Programming Semantics

Name: Mathematical Foundations of Programming Semantics
Brand: Springer, Berlin
SKU: 01565808
Price: 40868 HUF
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

271 b

40 868 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Engel Sandra Oberheim

Paperback

5 616 Ft

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

Paperback

9 024 Ft

O Bar do Fim do Mundo Adailton Queiroz

Paperback

3 684 Ft

Terry Pratchett: Život v poznámkách pod čarou Rob Wilkins

Sheet

7 729 Ft

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

Paperback

3 094 Ft

Grande Nord. Un viaggio nel Circolo Polare Artico Jean-Louis Etienne

Hardback

15 996 Ft

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

Paperback

4 664 Ft

DEI SISTEMI OPERATIVI: A PANORAMICA COMPLETA Sharmila L

Paperback

21 688 Ft

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

Paperback

7 348 Ft

Huele a sol, sabe a luna EMILIA PESQUEIRA

Audio CD

6 035 Ft

Tiro Libre Anastasia Suen

Hardback

9 628 Ft

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

Paperback

14 773 Ft

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

Paperback

4 783 Ft

Aktivitäten zur Sprachförderung Claudia Iven

Paperback

9 447 Ft

Guia Restauraç?o dos Rins em 14 dias Francisco Alcaina

Paperback

5 854 Ft

Suppen - Rund um die Welt Mirko Reeh

Paperback

5 388 Ft

Marifetullah Imam-I Gazali

Paperback

4 421 Ft

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

Paperback

11 199 Ft

Psyche Erwin Rohde

Paperback

17 205 Ft

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

Diary

604 Ft

L'Astrolabe LESSON PIERRE-ADOLPHE

Paperback

21 326 Ft

La Philosophie ésotérique de l'Inde Chatterji

Paperback

6 054 Ft

ZYX Italo Disco: Flemming Dalum Remixes

Audio CD

6 535 Ft

Apli Dekorační páska - třpytivá mix 6 motivů

binding.

861 Ft

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.