Skip to content

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction:
Stock Photo: Cover May Be Different

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, Uk, April 10-14, 2000, Paperback - 2002 - 2002nd Edition

by Roland Backhouse (Editor); Roy Crole (Editor); Jeremy Gibbons (Editor)


From the publisher

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.

First line

This volume is an up-to-date introduction to developments in the calculational construction of computer programs, with particular emphasis on the use of algebraic and coalgebraic datatypes.

Details

  • Title Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, Uk, April 10-14, 2000,
  • Author Roland Backhouse (Editor); Roy Crole (Editor); Jeremy Gibbons (Editor)
  • Binding Paperback
  • Edition number 2002nd
  • Edition 2002
  • Pages 390
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York
  • Date 2002-04-17
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index
  • ISBN 9783540436133 / 3540436138
  • Weight 1.25 lbs (0.57 kg)
  • Dimensions 9.21 x 6.14 x 0.84 in (23.39 x 15.60 x 2.13 cm)
  • Library of Congress Catalog Number 2002021781
  • Dewey Decimal Code 005
Back to Top

More Copies for Sale

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International...
Stock Photo: Cover May Be Different

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

by Backhouse, Roland [Editor]; Crole, Roy [Editor]; Gibbons, Jeremy [Editor];

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540436133 / 3540436138
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$73.67
A$9.29 shipping to USA

Show Details

Description:
Springer, 2002-05-28. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
A$73.67
A$9.29 shipping to USA
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer...

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

by Backhouse, Roland; Crole, Roy; Gibbons, Jeremy [editors]

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540436133 / 3540436138
Quantity Available
1
Seller
Charlottesville, Virginia, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$76.03
A$6.98 shipping to USA

Show Details

Description:
Springer, 2002. paperback. Very Good. Minor cover wear. No markings. Always securely packed. Professional booksellers since 1994. Satisfaction guaranteed.
Item Price
A$76.03
A$6.98 shipping to USA
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International...
Stock Photo: Cover May Be Different

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

by Roland Backhouse

  • New
Condition
New
ISBN 10 / ISBN 13
9783540436133 / 3540436138
Quantity Available
141
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$103.38
A$15.55 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures.
Item Price
A$103.38
A$15.55 shipping to USA
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International...
Stock Photo: Cover May Be Different

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

by Roland C. Backhouse

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540436133 / 3540436138
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$115.71
A$19.36 shipping to USA

Show Details

Description:
Paperback / softback. New. This textbook-like tutorial presents eight chapters 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, temporal algebra and more.
Item Price
A$115.71
A$19.36 shipping to USA
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International...
Stock Photo: Cover May Be Different

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)

by Backhouse, Roland [Editor]; Crole, Roy [Editor]; Gibbons, Jeremy [Editor];

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540436133 / 3540436138
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 1 of 5 Stars rating from Biblio customers.
Item Price
A$161.38
A$23.28 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
A$161.38
A$23.28 shipping to USA
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International...
Stock Photo: Cover May Be Different

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)

by Backhouse, Roland [Editor]; Crole, Roy [Editor]; Gibbons, Jeremy [Editor];

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540436133 / 3540436138
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$183.15
A$8.46 shipping to USA

Show Details

Description:
Springer, 2002-04-17. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
A$183.15
A$8.46 shipping to USA