Abstract State Machines 2004. Advances in Theory and Practice

Editat de Wolf Zimmermann, Bernhard Thalheim

en Limba Engleză Paperback – 11 mai 2004

Preț: 318^.73 lei

Preț vechi: 398^.41 lei
-20% Nou

Puncte Express: 478

:
56^.40€ • 65^.77$ • 49^.52£

Carte tipărită la comandă

Livrare economică 15-29 ianuarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540220947
ISBN-10: 3540220941
Pagini: 252
Ilustrații: XII, 240 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Invited Papers.- Intra-step Interaction.- Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering.- An ALGOL-View on Turbo ASM.- An ASM Specification of C# Threads and the .NET Memory Model.- Finite Cursor Machines in Database Query Processing.- Research Papers.- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.- Specification and Validation of the Business Process Execution Language for Web Services.- Monodic ASMs and Temporal Verification.- Towards an Interchange Language for ASMs.- Specification and Implementation Problems for C#.- An ASM Semantics for SSA Intermediate Representations.- Observations on the Decidability of Transitions.- A Security Logic for Abstract State Machines.- Slicing Abstract State Machines.- The Cryptographic Abstract Machine.- Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste