Sold Out
Book Categories |
Notation | ||
Preface | ||
Introduction | 1 | |
1 | Domain equations | 11 |
2 | Linear and branching domains | 19 |
3 | Operational semantics | 53 |
4 | Nonderterministic choice | 79 |
5 | Random assignment | 97 |
6 | Generalized finiteness conditions | 119 |
7 | Dense choice | 149 |
8 | Second order communication | 165 |
A | Metric spaces | 193 |
Bibliography | 201 | |
Author index | 217 | |
Subject index | 219 |
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 CollectionComparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion
X
This Item is in Your InventoryComparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion
X
You must be logged in to review the productsX
X
X
Add Comparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion, , Comparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion to the inventory that you are selling on WonderClubX
X
Add Comparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion, , Comparative Metric Semantics Of Programming Languages, Nondeterminism And Recursion to your collection on WonderClub |