|
|
Sold Out
Book Categories |
| List of symbols | ||
| O | Introduction | 1 |
| 1 | Weakest preconditions | 12 |
| 2 | Annotation, recursion and repetition | 32 |
| 3 | Healthiness laws | 58 |
| 4 | Semantics of recursion | 66 |
| 5 | Ramifications | 87 |
| 6 | Relational semantics | 101 |
| 7 | Determinacy and disjunctivity | 109 |
| 8 | Syntactic criteria | 116 |
| 9 | Operational semantics of recursion | 130 |
| 10 | Procedure substitutions | 143 |
| 11 | Induction and semantic equality | 149 |
| 12 | Induction and refinement | 160 |
| 13 | The strong preorder | 167 |
| 14 | Temporal operators | 180 |
| 15 | Predicative fairness | 193 |
| 16 | Solutions of exercises | 208 |
| References | 217 | |
| Index of concepts and identifiers | 221 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Tasse Godinez
reviewed Programs, Recursion And Unbounded Choice on January 16, 2019
Programs, Recursion And Unbounded Choice
Ðазвание книги интригующее, не правда ли? Ð”Ð»Ñ Ñ‚ÐµÑ…Ð½Ð°Ñ€ÐµÐ¹ Ñтавших управленцами. Кто бы знал, что вÑе будет так печально. ВодÑниÑÑ‚Ð°Ñ Ð²Ð¾Ð´Ð°, аж тонешь в океане не подкрепленных ничем интуитивно понÑтных желаемых результатов. Книга по вÑей видимоÑти направленна на беÑÑмертных пони, много в пользу делегированиÑ, открытоÑти и запрета Ð²Ñ‹Ð¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ Ñ€Ð°Ð±Ð¾Ñ‚Ñ‹ за вÑех. ÐапиÑÐ°Ð½Ð¸Ñ ÐºÐ¾Ð´Ð° вмеÑто управлениÑ. Много логичных вещей Ñлишком.
Ð˜Ð½Ñ„Ð¾Ñ€Ð¼Ð°Ñ†Ð¸Ñ ÑƒÑтарела, что Ñамое печальное. Ð ÐµÐºÐ¾Ð¼ÐµÐ½Ð´Ð¾Ð²Ð°Ð½Ð½Ð°Ñ Ð»Ð¸Ñ‚ÐµÑ€Ð°Ñ‚ÑƒÑ€Ð° по рейтингу не выше 3,8. Половина главы из любой Книги по Agile Ñтоит Ñтой целиком.
ЕÑÑ‚ÑŒ пара хороших цитат и выражений, но они не ÑтоÑÑ‚ потраченного времени.
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
Programs, Recursion And Unbounded Choice
X
This Item is in Your Inventory
Programs, Recursion And Unbounded Choice
X
You must be logged in to review the productsX
X
X
Add Programs, Recursion And Unbounded Choice, , Programs, Recursion And Unbounded Choice to the inventory that you are selling on WonderClubX
X
Add Programs, Recursion And Unbounded Choice, , Programs, Recursion And Unbounded Choice to your collection on WonderClub |