Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297) - Image 1

£44.56

Springer Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)

Name: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)
Brand: Springer
Price: 44.56 GBP
Availability: InStock

Algorithms

This is the usual price. Wait for it to drop, or tell us your number.

£45 today · usual range £0–£0 · best ever £28

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

Historical

Generating forecast...

Price Distribution

Price distribution over 637 days • 8 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (227 days, 35.6%)

Price range: £28 - £45

Price levels: 8 different prices over 637 days

Description

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540436138
Category: Books > Subjects > Computing & Internet > Programming > Algorithms
Domain: Amazon UK
Release Date: 17 April 2002
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... (Lecture Notes in Computer Science, 2297)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Programming Logic and Design: Comprehensive (with Videos Printed Access Card)

Programming Logic and Design (Mindtap Course List)

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Logic Program Synthesis from Incomplete Information: 295 (The Springer International Series in Engineering and Computer Science, 295)

Computer Program Construction

Program Construction: Calculating Implementations from Specifications

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

A Practical Theory of Programming (Monographs in Computer Science)

An Invitation to General Algebra and Universal Constructions: 351 (Universitext)

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983: 164 (Lecture Notes in Computer Science, 164)

COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming

Principles of Program Analysis

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings: 10807 (Lecture Notes in Computer Science, 10807)

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

Logic And Language Models For Computer Science (Third Edition)

Prolog: The Next 50 Years: 13900 (Lecture Notes in Computer Science, 13900)

Logic Programming: A Classified Bibliography

Fundamentals of Algebraic Specification 1: Equations and Initial Semantics: 6 (Monographs in Theoretical Computer Science. An EATCS Series, 6)

Universal Algebra for Computer Scientists: 25 (Monographs in Theoretical Computer Science. An EATCS Series, 25)

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)

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