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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540436133 - 17. april 2002
Ved uoverensstemmelse mellem cover og titel gælder titel

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
₺ 2.816,25

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 11. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 17. april 2002
ISBN13 9783540436133
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 390
Mål 155 × 235 × 21 mm   ·   566 g
Sprog Tysk  
Klipper/redaktør Backhouse, Roland
Klipper/redaktør Crole, Roy
Klipper/redaktør Gibbons, Jeremy
Vis alle

Mere med Roland Backhouse

Se alt med Roland Backhouse ( f.eks. Paperback Bog )