Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Best Price (Coupon Required):
Buy Algebraic and Coalgebraic Methods in the Mathematics of Program Construction for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Thematic Relations
$89.00
Brgerinnen und Brger im Wandel der Zeit
$34.99
Oscillation Theory for Difference and Functional Differential Equations
$109.99
Interdisciplinary Investigations into the Lvov-Warsaw School
$89.99
Nanopharmaceuticals: Principles and Applications Vol. 2
$189.00
Bankenregulierung und Sicherungssysteme Jetzt auf dem richtigen Weg?
$59.99
Hinterlegte Botschaften
$39.99
Advances in Nanostructured Materials
$169.99
Electrochemistry I
$84.99
Environmental Social Psychology
$129.00
Resilience and Stability of Ecological and Social Systems
$39.99
Pentaerithrityltetranitrat
$59.99
Handbuch Genossenschaftswesen
$139.00
Produktdesign
$64.99
360-Beurteilung und Persnlichkeitstest in der Fhrungsbeurteilung
$34.99
Interdisciplinary Applications of Shame/Violence Theory
$139.99
Manufacturing Automotive Components from Sustainable Natural Fiber Composites
$69.99
Advances in Human Genetics
$169.99
Cosmopolitan Criticism and Postcolonial Literature
$39.99
Educational Games for Soft-Skills Training in Digital Environments
$129.99
Tonsetzerinnen
$49.99
Informatik als Schlssel zur Qualifikation
$59.99
Logic, Language, Information, and Computation
$74.99
Biophysik
$59.99
Akute Blutung als Notfall im Kindesalter
$69.99
Einfluss der Rissbildung auf die dynamischen Eigenschaften von Leichtbeton- und Betonbalken
$54.99
Municipal Policing in the European Union
$39.99
Scholastic News Nonfiction Readers-Space Science: The Sun
$5.21
Big Data Analytics in Intelligent IoT and Cyber-Physical Systems
$179.99
Technischer Lehrgang Automatikgetriebe
$44.99
Writing Musical Theater
$129.99
Essays in Labour History 18861923
$54.99
Internationale Fusions- und Akquisitionsaktivitt
$79.99
Computational Intelligence in Digital Pedagogy
$199.99
Religion and Prison: An Overview of Contemporary Europe
$139.00
Mobilizing Resources in Latin America
$54.99
The jurisprudence of the General Claims Commission, United States and Mexico under the convention of
$74.99
Quantum Mechanics for Pedestrians 2: Applications and Extensions
$49.99
Bio-inspired Computing: Theories and Applications
$54.99
Tiny T. Rex and the Impossible Hug
$5.21
