Liebe Besucherinnen und Besucher,

aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.

Ihr Team von Sack Fachmedien

Zimmermann / Thalheim | Abstract State Machines 2004. Advances in Theory and Practice | E-Book | www.sack.de
E-Book

E-Book, Englisch, 240 Seiten, Web PDF

Reihe: Computer Science

Zimmermann / Thalheim Abstract State Machines 2004. Advances in Theory and Practice

11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Erscheinungsjahr 2004
ISBN: 978-3-540-24773-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

E-Book, Englisch, 240 Seiten, Web PDF

Reihe: Computer Science

ISBN: 978-3-540-24773-9
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Zimmermann / Thalheim Abstract State Machines 2004. Advances in Theory and Practice jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Zimmermann, Wolf
Thalheim, Bernhard

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.