Normal view MARC view ISBD view

Algebraic and coalgebraic methods in the mathematics of program construction (Record no. 19704)

000 -LEADER
fixed length control field	00802nam a2200205 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	160616sc2002. 000 0
245 ## - TITLE STATEMENT
Title	Algebraic and coalgebraic methods in the mathematics of program construction
Sub Title	international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name	Backhouse, Roland C., 1948-
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name	Crole, Roy L.
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name	Gibbons, Jeremy,, 1966-
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication	Berlin, New York :
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher	Springer
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication	c2002.
300 ## - PHYSICAL DESCRIPTION
Number of Pages	xiv, 385 p.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title	Lecture notes in computer science ; 02297
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	3540436138 (softcover : acid-free paper)
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Computer programming
--	Congresses.
--	Computer science
--	Mathematics
--	Congresses.
--	Algebra
--	Congresses.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	BOOKS
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number	681 LNCS

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Home library	Current library	Shelving location	Full call number	Accession Number	Koha item type
				IMSc Library	IMSc Library	Second floor, Rack No: 48, Shelf No: 27	681 LNCS	53166	BOOKS