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

£86.41

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.41 GBP
Availability: InStock

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£86 today · previous high £86 · all-time low £85

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 81 days · 81 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 81 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £85 (50 days, 61.7%)

Price range: £85 - £86

Price levels: 2 different prices over 81 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)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

A Reader's Guide to Classic Papers in Formal Semantics: Volume 100 of Studies in Linguistics and Philosophy

A Reader's Guide to Classic Papers in Formal Semantics: Volume 100 of Studies in Linguistics and Philosophy

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Semantical Essays: Possible Worlds and their Rivals: 36 (Studies in Linguistics and Philosophy, 36)

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

Semantical Essays: Possible Worlds and their Rivals: 36 (Studies in Linguistics and Philosophy, 36)

Structures for Semantics: 45 (Studies in Linguistics and Philosophy, 45)

Properties, Types and Meaning: Volume I: Foundational Issues: 38 (Studies in Linguistics and Philosophy, 38)

Type-Logical Semantics

The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning

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

Formal Semantics: An Introduction (Cambridge Textbooks in Linguistics)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Semantics of Natural Language: 40 (Synthese Library, 40)

Treatise on Basic Philosophy: Semantics I: Sense and Reference: 1

Default Semantics: Foundations of a Compositional Theory of Acts of Communication

Understanding Programming Languages

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

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Semantics of Natural Language: 40 (Synthese Library, 40)

Transitions and Trees: An Introduction to Structural Operational Semantics

Rudolf Carnap: Studies in Semantics: The Collected Works of Rudolf Carnap, Volume 7

Semantics, Pragmatics, Philosophy: A Journey through Meaning