Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125) - Image 1

£44.83

Springer Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)

Name: Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)
Brand: Springer
Price: 44.83 GBP
Availability: InStock

Architecture & Microprocessors

Same price for 5 weeks. Today is much like next week.

£45 for 38 days straight · last change was Jan 2026

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

Historical

Generating forecast...

Price Distribution

Price distribution over 636 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (403 days, 63.4%)

Price range: £40 - £45

Price levels: 5 different prices over 636 days

Description

This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware.Thefocus isontechniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programmingmethodology,programspeci?cation and transformation, programming paradigms, programming calculi, and programming language - mantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 19 papers selected for presentation by the program committee from 37 submissions, as well as the abstract of one invited talk: - tended Static Checking for Java by Greg Nelson, Imaging Systems Department, HP Labs, Palo Alto, California. The conference took place in Stirling, Scotland. The previous six conferences wereheld in1989inTwente,TheNetherlands;in1992inOxford,UK;in 1995in KlosterIrsee,Germany;in 1998in Marstrandnear Got ¨ eborg,Sweden;in2000in Pontede Lima,Portugal;and in 2002in Dagstuhl, Germany.The proceedingsof these conferences were published as LNCS 375, 669, 947, 1422, 1837, and 2386, respectively.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540223800
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 24 June 2004
Listed Since: 10 December 2006

Barcode

No barcode data available

Springer Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)

Same price for 5 weeks. Today is much like next week.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings

Programming Language Explorations

Programming Language Explorations

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Programming Language Implementation: A Practical Introduction with Python

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)

Understanding Programming Languages

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Introduction to Programming Languages

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)

Structure and Interpretation of Computer Programs: JavaScript Edition (Mit Electrical Engineering and Computer Science)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)

Shape Analysis (Foundations and Trends® in Programming Languages)

Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)

Domain-Specific Languages: Effective Modeling, Automation, and Reuse

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Thinking About Programs (ACM Books)

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

Essentials of Programming Languages 3e (OIP) (The MIT Press)

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, ... and Communication Technology, 323)