Artículos relacionados a Algebraic and Coalgebraic Methods in the Mathematics...

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures - Tapa blanda

 
9783662195628: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Tapa blanda
ISBN 10: 3662195623 ISBN 13: 9783662195628
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

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.- Algebraic Methods for Optimization Problems.- Temporal Algebra.

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2014
  • ISBN 10 3662195623
  • ISBN 13 9783662195628
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540436133: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... 2297 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540436138 ISBN 13:  9783540436133
Editorial: Springer, 2008
Tapa blanda