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)
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
More Copies for Sale
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
- Item Price
-
A$73.67A$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 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
- Item Price
-
A$76.03A$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
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
- Item Price
-
A$103.38A$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
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
- Item Price
-
A$115.71A$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
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
- Item Price
-
A$161.38A$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
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
- Item Price
-
A$183.15A$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