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

£85.24

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

Name: Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings: 802 (Lecture Notes in Computer Science, 802)
Brand: Springer
Price: 86.3 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 83 days • 83 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 83 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £85 (58 days, 69.9%)

Price range: £85 - £86

Price levels: 2 different prices over 83 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540580271
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 20 May 1994
Listed Since: 16 December 2006

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

CRC Press Semantics of Programming Languages and Model Theory 5

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998: 1450 (Lecture Notes in Computer Science, 1450)

Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings: 623 (Lecture Notes in Computer Science, 623)

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Programming and Mathematical Method: International Summer School: 88 (NATO ASI Subseries F:, 88)

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Logic for Applications (Texts in Computer Science)

Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, ... August 1995: 280 (Synthese Library, 280)

Logic of Computation: SER F / v.157 (NATO ASI)

Springer Applied Logic: How, What and Why - Synthese Library 247

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Logic Programming: A Classified Bibliography

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings: 668 (Lecture Notes in Computer Science, 668)

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999: 1 (Semantics Structures in Computation, 1)

Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings: 2747 (Lecture Notes in Computer Science, 2747)

Mathematics in Programming

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001: 3 (Semantics Structures in Computation, 3)

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)