Sold Out
Book Categories |
1 | Introduction | 1 |
2 | Interval Logic | 23 |
3 | Duration Calculus | 41 |
4 | Deadline-Driven Scheduler | 67 |
5 | Relative Completeness | 89 |
6 | Decidability | 99 |
7 | Undecidability | 111 |
8 | Model Checking: Linear Duration Invariants | 125 |
9 | State Transitions and Events | 145 |
10 | Superdense State Transitions | 165 |
11 | Neighborhood Logic | 189 |
12 | Probabilistic Duration Calculus | 209 |
References | 227 | |
Abbreviations | 239 | |
Symbol Index | 241 | |
Index | 243 |
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 CollectionDuration Calculus
X
This Item is in Your InventoryDuration Calculus
X
You must be logged in to review the productsX
X
X
Add Duration Calculus, , Duration Calculus to the inventory that you are selling on WonderClubX
X
Add Duration Calculus, , Duration Calculus to your collection on WonderClub |