|
|
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 |
| Price | Condition | Delivery | Seller | Action |
| $119.00 | Digital |
| WonderClub |
Rui Araujo
reviewed Duration Calculus on January 31, 2015 Duration Calculus
A good book to learn
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 List
X
This item is in your Collection
Duration Calculus
X
This Item is in Your Inventory
Duration 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 |