IMSc Library catalog › Details for: Algebraic and coalgebraic methods in the mathematics of program construction

Normal view MARC view ISBD view

Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures

TextSeries: Lecture notes in computer science ; 02297Publication details: Berlin, New York : ; Springer ; c2002Description: xiv, 385 pISBN: 3540436138 (softcover : acid-free paper)Subject(s): Computer programming Congresses. Computer science Mathematics Congresses. Algebra Congresses

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		53166

Previous
Previous	681 LNCS Verification: theory and practice	681 LNCS Formal and natural computing : Essays dedicated to Grzegorz Rozenberg	681 LNCS Algorithmic number theory: 5th international symposium, ANTS-V Sydney, Australia, July 7-12, 2002: proceedings	681 LNCS Algebraic and coalgebraic methods in the mathematics of program construction	681 LNCS Progress in cryptology: INDOCRYPT-2002: third international conference cryptology in India: Hyderabad, India, December 2002: proceedings	681 LNCS FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

There are no comments on this title.

to post a comment.