New Added

Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings

Like Score+385

Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
Original Title Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
Author ASM 2004 (2004 : Wittenberg, Saxony-Anhalt, Germany), Zimmermann, Wolf, Thalheim, B. (Bernhard), 1952-
Publication date

Topics Machine theory, Abstracte machines, Machine abstraite, The╠üorie des automates, Automates mathe╠ümatiques, The╠üorie des, Abstrakte Zustandsmaschine, Formale Spezifikationstechnik, Model Checking, Nebenla╠łufigkeit, UML, Verifikation, Model Checking, Nebenla╠łufigkeit, UML, Verifikation, Abstrakte Zustandsmaschine, Formale Spezifikationstechnik, Model Checking, Nebenla╠łufigkeit, UML, Verifikation
Publisher Berlin , New York : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. ProceedingsAuthor: Wolf Zimmermann, Bernhard Thalhei Published by Springer Berlin Heidelberg ISBN: 978-3-540-22094-7 DOI: 10.1007/b98118Table of Contents: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
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 RealsIncludes bibliographical references and index
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0