Sold Out
Book Categories |
Preface | ||
1 | A Discipline of Multiprogramming | 1 |
2 | Action Systems | 13 |
3 | An Object-Oriented View of Action Systems | 39 |
4 | Small Examples | 57 |
5 | Safety Properties | 91 |
6 | Progress Properties | 155 |
7 | Maximality Properties | 215 |
8 | Program Composition | 235 |
9 | Conditional and Closure Properties | 281 |
10 | Reduction Theorem | 315 |
11 | Distributed Implementation | 339 |
12 | A Logic for Seuss | 361 |
In retrospect | 387 | |
A: Elementary Logic and Algebra | 389 | |
References | 397 | |
Index | 410 |
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 CollectionA Discipline of Multiprogramming: Programming Theory for Distributed Applications
X
This Item is in Your InventoryA Discipline of Multiprogramming: Programming Theory for Distributed Applications
X
You must be logged in to review the productsX
X
X
Add A Discipline of Multiprogramming: Programming Theory for Distributed Applications, , A Discipline of Multiprogramming: Programming Theory for Distributed Applications to the inventory that you are selling on WonderClubX
X
Add A Discipline of Multiprogramming: Programming Theory for Distributed Applications, , A Discipline of Multiprogramming: Programming Theory for Distributed Applications to your collection on WonderClub |