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 |
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 CollectionAbstract State Machines 2004. Advances in Theory and Practice
X
This Item is in Your InventoryAbstract 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 |