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, This is a book in theoretical computer science that explores the semantics of programming languages with topological methods. Aimed at research workers and advanced graduate students in computer science, the book presents an important contribution to the , 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, This is a book in theoretical computer science that explores the semantics of programming languages with topological methods. Aimed at research workers and advanced graduate students in computer science, the book presents an important contribution to the , Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion to your collection on WonderClub |