Wonder Club world wonders pyramid logo
×

Mathematics of Program Construction Book

Mathematics of Program Construction
Mathematics of Program Construction, , Mathematics of Program Construction has a rating of 3 stars
   2 Ratings
X
Mathematics of Program Construction, , Mathematics of Program Construction
3 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
100 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Mathematics of Program Construction
  • Written by author Dexter Kozen
  • Published by Springer-Verlag New York, LLC, January 2008
  • This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004.The 19 revised full papers presented were carefully reviewed and select
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Extended static checking for Java1
Constructing polymorphic programs with quotient types2
Optimizing generic functions16
Inferring type isomorphisms generically32
Friends need a bit more : maintaining invariants over shared state54
Chasing bottoms - a case study in program verification in the presence of partial and infinite values85
Describing gen/kill static analysis techniques with Kleene algebra110
A free construction of Kleene algebras with tests129
Streaming representation-changers142
Probabilistic predicative programming169
An algebra of scans186
Compiling exceptions correctly211
Modelling nondeterminism228
Lazy Kleene algebra252
Augmenting types with unbounded demonic and angelic nondeterminacy274
An injective language for reversible computation289
Prototyping generic programming in template Haskell314
Transposing relations : from maybe functions to hash tables334
Pointer theory and weakest preconditions without addresses and heap357
Travelling processes381


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Mathematics of Program Construction, , Mathematics of Program Construction

X
WonderClub Home

This item is in your Collection

Mathematics of Program Construction, , Mathematics of Program Construction

Mathematics of Program Construction

X
WonderClub Home

This Item is in Your Inventory

Mathematics of Program Construction, , Mathematics of Program Construction

Mathematics of Program Construction

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: