Cover Image

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

Bibliographic Details
Corporate Authors: School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction University of Oxford, SpringerLink (Online service)
Other Authors: Backhouse, Roland C., 1948-, Crole, Roy L., Gibbons, Jeremy, 1966-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2002]
Series:Lecture notes in computer science ; 2297.
Subjects:
Computer programming > Congresses.
Computer science > Mathematics > Congresses.
Algebra > Congresses.
allégorie.
théorie catégorie.
algèbre universelle.
point fixe.
conception logiciel.
théorie treillis.
spécification formelle.
méthode algébrique.
méthode formelle.
developpement programme.
construction programme.
Programmation (Informatique) > Congrès.
Informatique > Mathématiques > Congrès.
Algèbre > Congrès.
Algebra.
Computer programming.
Computer science > Mathematics.
Ordinateurs > Programmation > Congrès.
Kategorientheorie.
Koalgebra.
Verbandstheorie.
Softwareentwicklung.
Algebraische Methode.
Formale Methode.
Oxford <2002>.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xiv, 385 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540436138
9783540436133