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

Preis

HK$ 508

Bestellware

Lieferdatum: ca. 22. Okt - 1. Nov

Unsere Kunden sagen:

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

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

Medien	Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum	17. April 2002
ISBN13	9783540436133
Verlag	Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl	390
Maße	155 × 235 × 21 mm · 566 g
Sprache	Deutsch
Redakteur	Backhouse, Roland
Redakteur	Crole, Roy
Redakteur	Gibbons, Jeremy

Alle anzeigen

Weitere Titel von Roland Backhouse

Alle Titel von Roland Backhouse ansehen ( u. a. Taschenbuch )