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

Algorithms

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 43 days • 1 price levels

Days at Price

Price Analysis

Most common price: £45 (43 days, 100.0%)

Price range: £45 - £45

Price levels: 1 different prices over 43 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)

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)

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

Mathematics in Programming

Thinking About Programs (ACM Books)

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Program Construction: Calculating Implementations from Specifications

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Algebraische Spezifikation: Eine Einführung

Constructive Models (Siberian School of Algebra and Logic)

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

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

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

Network Algebra (Discrete Mathematics and Theoretical Computer Science)

A Process Algebraic Approach to Software Architecture Design

Concurrent Programming: Algorithms, Principles, and Foundations

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Compiler Design: Analysis and Transformation

Compiler Design: Analysis and Transformation

Advanced Topics in Term Rewriting

Measuring Power of Algorithms, Programs and Automata

APL Programs for the mathematics classroom

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)