Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Name: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564288
Price: 51.3 EUR
Availability: InStock
Author: Roland Backhouse
ISBN: 9783540436133

International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Roland Backhouse

Roy Crole

Jeremy Gibbons

Language

English

Book Paperback

Libristo code: 01564288

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2002

Program construction is about turning specifications of computer software into implementations. Rece... Full description

Libristo code: 01564288

125 b

51.30 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Star Wars Comics: Die Sith und der Skywalker Steven Cummings

Paperback

17.27 €

Die Untervollmacht. Johann Wilhelm Gerlach

Paperback

37.24 €

Sherlock, Lupin et moi - Tome 5 Irene Adler

Paperback

9.33 €

Dört Anahtar

Paperback

13.05 €

Mafia in Deutschland Philipp Berner

Paperback

15.16 €

Existenzgrunder-Rating Jörg Becker

Paperback

26.60 €

Agenda concursal Carrer Méjan

Book

80.62 €

Edison Kuhlmann torben

Hardback

26.30 €

Portrait d'un mariage Nigel Nicolson

Paperback

12.04 €

Die spannendsten Ritter- und Drachengeschichten Kristin Lückel

Hardback

8.52 €

Le Retour de Casanova Arthur Schnitzler

Paperback

15.75 €

El cerezo Alba Garcia i Puig

Paperback

21.08 €

Das Beschlußfassungsverfahren des Abkommens über den Europäischen Wirtschaftsraum Martin Gittermann

Paperback

37.74 €

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.