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
Globalization, Europeanization and the End of Scandinavian Social Democracy?
$109.99
Allokation der Eigentumsrechte an Unternehmensberatungen
$69.99
Proceedings of the Conference on Orders, Group Rings and Related Topics
$34.99
Die Berufssituation der Sozialarbeiter
$59.99
The Third Component of Complement
$84.99
Lectures on Financial Mathematics
$14.99
Diskrete Mathematik und Mathematische Fragen der Kybernetik
$44.99
Rechnender Raum
$59.99
Elektronik
$49.99
Cosmetic Surgery
$229.00
Molecules containing Five or More Carbon Atoms
$549.99
Digitized Statecraft in Multilateral Treaty Participation
$159.99
Neues Leben aus dem Labor
$44.99
Customer Knowledge Management in der Konzeptphase der Neuproduktentwicklung
$69.99
PCR Detection of Microbial Pathogens
$89.00
Obstacles to Democratization in Southeast Asia
$54.99
Romantic Influences
$169.99
Elementare Tensorrechnung fr Ingenieure
$89.99
A Study of Personal and Cultural Values
$39.99
OOIS 2000
$54.99
Terminwesen und Lagerhaltung in der Massenfertigung
$59.99
Karl Bhler Semiotic Foundations of Language Theory
$39.99
Cognitive Errors and Diagnostic Mistakes
$59.99
Liebe kulturbergreifend betrachtet
$59.99
Small-Molecule Inhibitors of Protein-Protein Interactions
$129.00
Erfasst, verfolgt, vernichtet./registered, persecuted, annihilated
$19.99
Trade Liberalisation, Economic Growth and Environmental Externalities
$59.99
Classical Trajectory Perspective of Atomic Ionization in Strong Laser Fields
$39.99
Liberalism and Islam
$39.99
Cloud Connectivity and Embedded Sensory Systems
$169.99
The Emergence of Pre-Cinema
$39.99
Begegnungen mit Einstein, von Laue und Planck
$59.99
Interpreting Keynes for the 21st Century
$84.99
Adaptation in Turkish Literature, Cinema and Media
$139.99
Public Safety and Civil Liberties
$44.99
Die chemischen und physikalischen Prfungsmethoden des Deutschen Arzneibuches 5. Ausgabe
$44.99
Zweckrationalitt und Strafrecht
$44.99
Beta-Rezeptorenblocker
$54.99
Monitoring Ecological Condition in the Western United States
$109.99
Die Zukunft der Bundeswehr
$59.99
