- 5 Ergebnisse
Kleinster Preis: € 45,70, größter Preis: € 71,70, Mittelwert: € 58,02
1
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link

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

2004, ISBN: 9783540220947

Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has b… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, ... (Lecture Notes in Computer Science, 3052)
Bestellen
bei amazon.co.uk
£ 39,39
(ca. € 45,70)
Versand: € 5,571
Bestellen
Details beim Anbieter
gesponserter Link
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, ... (Lecture Notes in Computer Science, 3052) - Taschenbuch

2004, ISBN: 9783540220947

Editor: Zimmermann, Wolf, Editor: Thalheim, Bernhard, Springer, Paperback, Auflage: 2004, 252 Seiten, Publiziert: 2004-05-11T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations,… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.57)
zuklappen (X)
3
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, ... Notes in Computer Science, 3052, Band 3052) - Thalheim, Bernhard, Zimmermann, Wolf
Bestellen
bei amazon.de
€ 57,23
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Thalheim, Bernhard, Zimmermann, Wolf:
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, ... Notes in Computer Science, 3052, Band 3052) - Taschenbuch

2008

ISBN: 9783540220947

Springer, Taschenbuch, Auflage: 2004, 252 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 0.79 kg, Hardware & Technik, Computer & Internet, K… Mehr…

Versandkosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
4
Bestellen
bei alibris.co.uk
€ 60,46
Bestellen
Details und Versand
gesponserter Link
Zimmermann, Wolf (Editor), and Thalheim, Bernhard (Editor):
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings - Taschenbuch

2004, ISBN: 9783540220947

Trade paperback, New., Trade paperback (US). Glued binding. 240 p. Lecture Notes in Computer Science, 3052., Berlin, Heidelberg, [PU: Springer]

Versandkosten:zzgl. Versandkosten Sparks, NV, Alibris
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 78,55
(ca. € 71,70)
Versand: € 12,021
Bestellen
Details beim Anbieter
gesponserter Link
Wolf Zimmermann:
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings - Taschenbuch

2004, ISBN: 9783540220947

Paperback / softback. New., 6

Versandkosten: EUR 12.02 The Saint Bookstore
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004
Autor:
Titel:
ISBN-Nummer:

3540220941


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.

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


EAN (ISBN-13): 9783540220947
ISBN (ISBN-10): 3540220941
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin Heidelberg Core >1
247 Seiten
Gewicht: 0,386 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-31T08:12:30+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-13T08:57:10+01:00 (Berlin)
ISBN/EAN: 3540220941

ISBN - alternative Schreibweisen:
3-540-22094-1, 978-3-540-22094-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bernhard zimmermann, bernhard wolf, thalheim, bernhard wolff, bernhard spring, taormina
Titel des Buches: notes, theory and practice, state theory, the state, lutherstadt wittenberg, abstract machines, workshop machines, asm, who who germany, third international theory

Daten vom Verlag:

Autor/in: Wolf Zimmermann; Bernhard Thalheim
Titel: Lecture Notes in Computer Science; Abstract State Machines 2004. Advances in Theory and Practice - 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Verlag: Springer; Springer Berlin
240 Seiten
Erscheinungsjahr: 2004-05-11
Berlin; Heidelberg; DE
Gewicht: 0,790 kg
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 240 p.

BC; Logics and Meanings of Programs; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; ALGOL; Processing; UML; abstract state machines; concurrency; finite cursor machines; formal methods; formal specification; formal verification; logic; model checking; modeling; program semantics; software development; type theory; Mathematical Logic and Foundations; Theory of Computation; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Theory of Computation; Software Engineering; Formal Languages and Automata Theory; Compilers and Interpreters; Mathematik: Logik; Mathematische Grundlagen; Software Engineering; Compiler und Übersetzer; EA

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.
< zum Archiv...