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 - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540436133 - 17 april 2002
Indien omslag en titel niet overeenkomen, is de titel 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

Prijs
£ 53,49

Besteld in een afgelegen magazijn

Verwachte levering 23 mei - 3 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 17 april 2002
ISBN13 9783540436133
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 390
Afmetingen 155 × 235 × 21 mm   ·   566 g
Taal en grammatica Duits  
Uitgever Backhouse, Roland
Uitgever Crole, Roy
Uitgever Gibbons, Jeremy
Alles tonen

Meer door Roland Backhouse

Bekijk alles van Roland Backhouse ( bijv. Paperback Book )