Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures - Lecture Notes in Computer Science - Roland Backhouse - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540436133 - 17 avril 2002
Si la couverture et le titre ne correspondent pas, le titre est correct.

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures - Lecture Notes in Computer Science 2002 edition

Roland Backhouse

Prix
€ 64,99

Commandé depuis un entrepôt distant

Livraison prévue 6 - 17 déc.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures - Lecture Notes in Computer Science 2002 edition

This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more.

404 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 17 avril 2002
ISBN13 9783540436133
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 390
Dimensions 155 × 235 × 21 mm   ·   566 g
Langue et grammaire German  
Éditeur Backhouse, Roland
Éditeur Crole, Roy
Éditeur Gibbons, Jeremy
Afficher tout

Plus par Roland Backhouse

Voir tous les Roland Backhouse ( par ex. Paperback Book )