Sold Out
Book Categories |
Introduction | 1 | |
Ordered Sets and Complete Lattices | 21 | |
Algebras and Coalgebras | 79 | |
Galois Connections and Fixed Point Calculus | 89 | |
Calculating Functional Programs | 149 | |
Algebra of Program Termination | 203 | |
Exercises in Coalgebraic Specification | 237 | |
Algebraic Methods for Optimization Problems | 281 | |
Temporal Algebra | 309 | |
Author Index | 387 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionAlgebraic and Coalgebraic Methods in the Mathematics of Program Construction
X
This Item is in Your InventoryAlgebraic and Coalgebraic Methods in the Mathematics of Program Construction
X
You must be logged in to review the productsX
X
X
Add Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, , Algebraic and Coalgebraic Methods in the Mathematics of Program Construction to the inventory that you are selling on WonderClubX
X
Add Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, , Algebraic and Coalgebraic Methods in the Mathematics of Program Construction to your collection on WonderClub |