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 - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540436133 - 17. april 2002
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
£ 41,49

Bestillingsvarer

Forventes levert 5. - 13. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 17. april 2002
ISBN13 9783540436133
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 390
Mål 155 × 235 × 21 mm   ·   566 g
Språk Tysk  
Redaktør Backhouse, Roland
Redaktør Crole, Roy
Redaktør Gibbons, Jeremy
Vis alle

Mer med Roland Backhouse

Se alt med Roland Backhouse ( f.eks. Pocketbok )