Comments:

105 pages, year 2001, 9 chapters, Bibliography +Index

Abstract:

This books presents the basic theory of fixed point calculus and a number of applications to the construction of computer programs. It also presents the theory and application of Galois connections between partially ordered sets. "The intimate relation between Galois connections and fixed point equations is demonstrated." http://www.freetechbooks.com/galois-connections-and-fixed-point-calculus-t394.html On line download at: http://www.cs.nott.ac.uk/~rcb/G53PAL/FPandGC.pdf

Rights:

http://www.freetechbooks.com/galois-connections-and-fixed-point-calculus-t394.html ; http://www.cs.nott.ac.uk/ Verbatim Copyright statement :"All the books listed in this site are freely available, as they are hosted on websites that belong to the authors or the publishers. Please also note that each author and publisher has their own terms and conditions in the forms of free / open documentation licenses, public domain or other specific ones. You are allowed to view, download and with a very few exceptions, print the books for your own private use at no charge. " http://www.freetechbooks.com/galois-connections-and-fixed-point-calculus-t394.html ; http://www.cs.nott.ac.uk/~rcb/G53PAL/FPandGC.pdf

Links:

No messages.