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

Hinta

€ 67,49

Tilattu etävarastosta

Arvioitu toimitus to - ma 5. - 16. joulu

Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus

Huippuarvosana Trustpilotissa

Lisää iMusic-toivelistallesi

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	Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä	keskiviikko 17. huhtikuuta 2002
ISBN13	9783540436133
Tuottaja	Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä	390
Mitta	155 × 235 × 21 mm · 566 g
Kieli	German
Toimittaja	Backhouse, Roland
Toimittaja	Crole, Roy
Toimittaja	Gibbons, Jeremy

Näytä kaikki

Lisää tuotteita Roland Backhouse

Katso kaikki joka sisältää Roland Backhouse ( Esim. Paperback Book )