KOBV-Portal

Treffer pro Seite

Treffer 1 - 4 | 4 Treffer

Sortierung

Buch

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

Zimmermann, Wolf ; ASM 11 2004 Wittenberg

Berlin u.a. :Springer,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV019315726

Umfang: XII, 233 S. : Ill.

ISBN: 3-540-22094-1

Serie: Lecture notes in computer science 3052

Sprache: Englisch

Schlagwort(e): Abstrakte Zustandsmaschine ; Abstrakte Zustandsmaschine ; Verifikation ; Model Checking ; Abstrakte Zustandsmaschine ; UML ; Abstrakte Zustandsmaschine ; Nebenläufigkeit ; Abstrakte Zustandsmaschine ; Formale Spezifikationstechnik ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

URL: Cover

URL: Einführung/Vorwort

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0818/2004105718-d.html

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

Fernleihwunsch

HU Berlin

UB Potsdam

Berlin VÖBB/ZLB

Online-Ressource

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (2004)

Zimmermann, Wolf ; Thalheim, Bernhard 1952-

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_748943412

Umfang: Online-Ressource (XII, 235 p. Also available online) , digital

Ausgabe: Reproduktion Springer eBook Collection. Computer Science

ISBN: 9783540247739 , 3540220941 , 9783540220947

Serie: Lecture Notes in Computer Science 3052

Inhalt: This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004. The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems. Besides theoretical results and methodological progress, applications in various fields are studied as well

Anmerkung: Includes bibliographical references and index

Weitere Ausg.: ISBN 9783540220947

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662189214

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540220947

Sprache: Englisch

Schlagwort(e): Abstrakte Zustandsmaschine ; Konferenzschrift

DOI: 10.1007/b98118

URL: lizenzpflichtig

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Mehr zum Autor: Thalheim, Bernhard 1952-

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

UB Potsdam

Online-Ressource

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (2004)

Zimmermann, Wolf. [editor.] ; Thalheim, Bernhard. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9947920586302882

Umfang: XII, 240 p. , online resource.

ISBN: 9783540247739

Serie: Lecture Notes in Computer Science, 3052

Anmerkung: 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.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783540220947

Sprache: Englisch

DOI: 10.1007/b98118

URL: http://dx.doi.org/10.1007/b98118

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Online-Ressource

Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (2004)

Zimmermann, Wolf. [editor.] ; Thalheim, Bernhard. [editor.] ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg :

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9948621460302882

Umfang: XII, 240 p. , online resource.

Ausgabe: 1st ed. 2004.

ISBN: 9783540247739

Serie: Lecture Notes in Computer Science, 3052

In: Springer Nature eBook

Weitere Ausg.: Printed edition: ISBN 9783662189214

Weitere Ausg.: Printed edition: ISBN 9783540220947

Sprache: Englisch

DOI: 10.1007/b98118

URL: https://doi.org/10.1007/b98118

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Treffer 1 - 4 | 4 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Meinten Sie 3540200940?

Meinten Sie 3540120491?

Meinten Sie 3540110941?

Kooperativer Bibliotheksverbund

Berlin Brandenburg