Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings - Lecture Notes in Computer Science 802 (Paperback)
  • Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings - Lecture Notes in Computer Science 802 (Paperback)
zoom

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings - Lecture Notes in Computer Science 802 (Paperback)

(editor), (editor), (editor), (editor), (editor)
£108.00
Paperback 654 Pages / Published: 20/05/1994
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540580270
Number of pages: 654
Weight: 2030 g
Dimensions: 233 x 155 x 34 mm
Edition: 1994 ed.

You may also be interested in...

Concrete Mathematics
Added to basket
How to Think About Algorithms
Added to basket
Coding Theory
Added to basket
£44.99
Paperback
Probability and Computing
Added to basket
A First Course in Coding Theory
Added to basket
Bayesian Methods for Hackers
Added to basket
Foundation Mathematics
Added to basket
Cryptanalysis
Added to basket
Networks
Added to basket
£52.00
Hardback
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
The Art of Computer Programming
Added to basket
Data Analysis with Open Source Tools
Added to basket
The Lattice Boltzmann Equation
Added to basket
The End of Error
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.