|
|
|
|
| LEADER |
00000pam a22000004a 4500 |
| 001 |
b3448607 |
| 003 |
CoU |
| 005 |
20020802154645.0 |
| 008 |
020326s2002 nyua b 101 0 eng |
| 010 |
|
|
|a 2002021781
|
| 019 |
|
|
|a 49785879
|
| 020 |
|
|
|a 3540436138 (softcover : acid-free paper)
|
| 035 |
|
|
|a (OCoLC)ocm49512729
|
| 040 |
|
|
|a DLC
|c DLC
|d OHX
|d C$Q
|d C#P
|d PMC
|d UKM
|
| 042 |
|
|
|a pcc
|
| 049 |
|
|
|a GWRE
|
| 050 |
0 |
0 |
|a QA76.6
|b .S415 2000
|
| 072 |
|
7 |
|a QA
|2 lcco
|
| 090 |
|
|
|a QA76.6
|b .S397 2000
|
| 111 |
2 |
|
|a School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction
|d (2000 :
|c University of Oxford)
|0 http://id.loc.gov/authorities/names/no2002049059.
|
| 245 |
1 |
0 |
|a Algebraic and coalgebraic methods in the mathematics of program construction :
|b international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures /
|c Roland Backhouse, Roy Crole, Jeremy Gibbons, eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c ©2002.
|
| 300 |
|
|
|a xiv, 385 pages :
|b illustrations ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia.
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 2297.
|
| 500 |
|
|
|a "Tutorial"--Cover.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a Ordered sets and complete lattices / Hilary A. Priestley -- Algebras and coalgebras / Peter Aczel -- Galois connections and fixed point calculus / Roland Backhouse -- Calculating functional programs / Jeremy Gibbons -- Algebra of program termination / Henk Doornbos and Roland Backhouse -- Exercises in coalgebraic specification / Bart Jacobs -- Algebraic methods for optimization problems / Richard Bird, Jeremy Gibbons, and Shin-Cheng Mu -- Temporal algebra / Burghard von Karger.
|
| 650 |
|
0 |
|a Computer programming
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2007004295.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2008101221.
|
| 650 |
|
0 |
|a Algebra
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2007100981.
|
| 700 |
1 |
|
|a Backhouse, Roland C.,
|d 1948-
|0 http://id.loc.gov/authorities/names/n78071236
|1 http://isni.org/isni/000000010891186X.
|
| 700 |
1 |
|
|a Crole, Roy L.
|0 http://id.loc.gov/authorities/names/nr94023161
|1 http://isni.org/isni/0000000116138758.
|
| 700 |
1 |
|
|a Gibbons, Jeremy,
|d 1966-
|0 http://id.loc.gov/authorities/names/n2002011550
|1 http://isni.org/isni/0000000109954845.
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 2297.
|0 http://id.loc.gov/authorities/names/n42015162.
|
| 907 |
|
|
|a .b34486070
|b 03-19-20
|c 08-02-02
|
| 998 |
|
|
|a eng
|b 08-02-02
|c d
|d m
|e -
|f eng
|g nyu
|h 0
|i 2
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b34486070
|b 01-09-20
|c 08-02-02
|
| 907 |
|
|
|a .b34486070
|b 12-29-08
|c 08-02-02
|
| 907 |
|
|
|a .b34486070
|b 03-24-08
|c 08-02-02
|
| 946 |
|
|
|a jf
|
| 999 |
f |
f |
|i 13f1f68b-a619-5933-812b-863e324520ea
|s 46789b1b-224c-5c9d-9ec5-38dcf2c640ea
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Engineering Math & Physics
|d Closed Stacks - Engineering Math & Physics Library - Stacks
|e QA76.6 .S397 2000
|h Library of Congress classification
|i book
|m U183036814429
|n 1
|
