Bestellen Terug

Hoofdkenmerken

Auteur:	Gibbons, Jeremy
Redactie:	Gibbons, Jeremy
Titel:	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School an
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540436133
ISBN boekversie:	9783540477976
Serie:	Lecture Notes in Computer
Editie:	2002 ed.
Land van oorsprong:	Germany
Prijs:	€ 62,21
Verschijningsdatum:	17-04-2002
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Vocational
Categorie:	Mathematical theory of computation
Geillustreerd:	XIV, 390 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	390
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	1260

 

Inhoud:

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.