Copied Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities 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, algebraic methods for optimization problems, and temporal algebra.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Die Praxis Akzeptierender Jugendarbeit
$64.99
(Re)conceptualising Childrens Rights in Infant-Toddler Care and Education
$109.99
Atlas of the Newborn
$54.99
Handbook of Phenomenology and Medicine
$219.99
Doing Design Ethnography
$54.99
Algorithms for Sensor Systems
$39.99
Computer and Computing Technologies in Agriculture VIII
$109.99
Professionell Telefonieren
$49.99
Michael Oakeshott on Authority, Governance, and the State
$99.00
Data Modeling of Financial Derivatives
$59.99
Lead Isotopes
$39.99
Zoonoses - Infections Affecting Humans and Animals
$229.00
Technologiemanagement
$109.00
Structured Matrices and Polynomials
$39.99
Qualittsmanagement & Zertifizierung
$44.99
Delamination Buckling of Composite Materials
$109.99
Polymer Permeability
$219.99
Advanced Internet Based Systems and Applications
$39.99
Recursive Partitioning and Applications
$89.00
Dynamics of Gas-Surface Interactions
$109.99
Meereskunde der Ostsee
$89.99
Dust-Gas Instabilities in Protoplanetary Disks
$129.00
Collision or Collaboration
$89.99
Bioanalytik
$119.99
Homology in Group Theory
$29.99
Die Entwicklung der Zahnrad-Technik
$59.99
Transatlantische Perspektiven fr die ra Obama: Aufbruch zu neuen Ufern oder business as usual?
$29.99
Upper Mantle Heterogeneities from Active and Passive Seismology
$219.99
Orienting Feminism
$99.99
Digital Land Resources to Support Sustainable Development in Egypt
$279.99
Artificial Intelligence for Supporting Human Cognition and Exploratory Learning in the Digital Age
$129.00
Guanidines 2
$39.99
Untersuchung von Zylinderschneckentrieben mit rechtwinklig sich kreuzenden Achsen
$59.99
Mitochondrial Regulation
$249.99
Hodge Decomposition - A Method for Solving Boundary Value Problems
$34.99
Recycling
$59.99
Untersuchungen zur Chemischreinigungs-Bestndigkeit von Frbungen auf Wolle und Seide
$59.99
Produktionssysteme erfolgreich einfhren
$79.99
Frankreichs Auenpolitik von de Gaulle bis Mitterrand
$59.99
Die Fzes des Menschen im normalen und krankhaften Zustande mit besonderer Bercksichtigung der klin
$59.99
