|
|
Sold Out
Book Categories |
| Intra-step interaction | 1 | |
| Closed-loop modeling and related problems of embedded control systems in engineering | 6 | |
| An ALGOL-view on turbo ASM | 20 | |
| An ASM specification of C# threads and the .NET memory model | 38 | |
| Finite cursor machines in database query processing | 61 | |
| Formalizing liveness-enriched sequence diagrams using ASMs | 62 | |
| Specification and validation of the business process execution language for Web services | 78 | |
| Monodic ASMs and temporal verification | 95 | |
| Towards an interchange language for ASMs | 111 | |
| Specification and implementation problems for C# | 127 | |
| An ASM semantics for SSA intermediate representations | 144 | |
| Observations on the decidability of transitions | 161 | |
| A security logic for abstract state machines | 169 | |
| Slicing abstract state machines | 186 | |
| The cryptographic abstract machine | 202 | |
| Modeling discretely timed systems using different magnitudes of non-standard reals | 218 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Worth Mizell
reviewed Abstract State Machines 2004. Advances in Theory and Practice on February 21, 2008
Abstract State Machines 2004. Advances in Theory and Practice
If you read this book as first time in order to understand Computational Complexity, then you're probably not going to like it. You need to read Sipser's textbook before you read this book and make sure that you have a strong background in discrete mathematics (if not, then see Rosen's textbook in Discrete Mathematics). This book is recommended by best people in complexity and algorithms such as Scott Aaronson, Sipser, etc. You need to solve as many exercises as you go.
The book has five parts:
Part I: Algorithms
Part II: Logic
Part III: P and NP
Part IV: Inside P
Part V: Beyond NP
The most important parts are in Part I, III.
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
Abstract State Machines 2004. Advances in Theory and Practice
X
This Item is in Your Inventory
Abstract State Machines 2004. Advances in Theory and Practice
X
You must be logged in to review the productsX
X
X
Add Abstract State Machines 2004. Advances in Theory and Practice, , Abstract State Machines 2004. Advances in Theory and Practice to the inventory that you are selling on WonderClubX
X
Add Abstract State Machines 2004. Advances in Theory and Practice, , Abstract State Machines 2004. Advances in Theory and Practice to your collection on WonderClub |