Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Material type: 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 CongressesCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 53166 |
There are no comments on this title.