£160.00

CRC Press Semantics of Programming Languages and Model Theory 5

Name: CRC Press Semantics of Programming Languages and Model Theory 5
Brand: CRC Press
Price: 160.0 GBP
Availability: InStock

Online Shopping

It has never been this cheap. We have no record of a lower price.

£160 today · cheaper than every other day in the last 3 months

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 76 days • 76 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 76 days • 1 price levels

Days at Price

Price Analysis

Most common price: £160 (76 days, 100.0%)

Price range: £160 - £160

Price levels: 1 different prices over 76 days

Description

Explore the intersection of algebra, logic, and computer science with Semantics of Programming Languages and Model Theory: 5. This volume captures the proceedings from the conference held at the International Conference and Research Center for Computer Science, SchloB Dagstuhl, in June 1991. This collection brings together insights from participants representing 10 different countries. The text focuses on how methods from algebra, logic, and order theory provide solutions for problems in denotational semantics and domain theory. Readers will find a wide range of academic interests covered, including discussions on functional programming languages and other specialized topics within the field. As part of the Algebra, Logic and Applications series from CRC Press, this book serves as a technical resource for those studying the relationship between mathematical theory and programming language semantics. It documents the fruitful interactions between different scientific fields as presented during the 1991 sessions.

Key Features

Covers proceedings from the 1991 conference held at SchloB Dagstuhl.

Includes research from participants representing 10 different countries.

Discusses the application of algebra, logic, and order theory to denotational semantics.

Explores topics related to domain theory and functional programming languages.

Part of the professional Algebra, Logic and Applications series by CRC Press.

Product Specifications

Brand: CRC Press
Format: hardcover
ASIN: 2881249353
Category: Books > Subjects > Computing & Internet > Digital Lifestyle > Online Shopping
Domain: Amazon UK
Release Date: 10 September 1993
Listed Since: 10 February 2007

Barcode

No barcode data available

CRC Press Semantics of Programming Languages and Model Theory 5

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

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

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

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

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

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

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

Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)

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

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

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Type-Logical Semantics

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

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

Proof and System-Reliability: v. 62 (NATO Science Series II)

Springer - Logics of Specification Languages Monograph

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

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

Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings: 936 (Lecture Notes in Computer Science, 936)

CRC Press Models, Algebras, and Proofs - Math Logic Book

Mathematics in Programming

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Understanding Programming Languages