Related Books

Program Derivation by Fixed Point Computation
Language: en
Pages: 51
Authors: International Business Machines Corporation. Research Division
Categories:
Type: BOOK - Published: 1988 - Publisher:

GET EBOOK

Fixed Points
Language: en
Pages: 505
Authors: Stepan Karamardian
Categories: Mathematics
Type: BOOK - Published: 2014-05-10 - Publisher: Academic Press

GET EBOOK

Fixed Points: Algorithms and Applications covers the proceedings of the First International Conference on Computing Fixed Points with Applications, held in the
Mathematics of Program Construction
Language: en
Pages: 372
Authors: Jeremy Gibbons
Categories: Computers
Type: BOOK - Published: 2012-06-21 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in
Mathematics of Program Construction
Language: en
Pages: 435
Authors: Claude Bolduc
Categories: Computers
Type: BOOK - Published: 2010-06-26 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Québec City, Cana
Mathematics of Program Construction
Language: en
Pages: 273
Authors: Eerke A. Boiten
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Ge