Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings - Lecture Notes in Computer Science 3052 (Paperback)
  • Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings - Lecture Notes in Computer Science 3052 (Paperback)
zoom

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

(editor), (editor)
£58.99
Paperback 240 Pages / Published: 11/05/2004
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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 been shown that all known models of com- tation can be expressed through speci?c abstract state machines. These models can be given in a representation-independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide a unifying theory to all of these models. At the same time ASM can be re?ned to other ASMs. Stepwise re?nement supports separation of concern during so- ware development and will support component-based construction of systems thus providing a foundation of new computational paradigms such as industrial programming, programming-in-the-large, and programming-in-the-world. ASM 2004 continued the success story of the ASM workshops. Previous workshops were held in the following European cities: Taormina, Italy (2003); Dagstuhl, Germany (2002); Las Palmas de Gran Canaria, Spain (2001); Monte Verita, Switherland (2000); Toulouse, France (1999); Magdeburg, Germany (1998); Cannes, France (1998, 1997); Paderborn, Germany (1996); and H- burg, Germany (1994). The ASM workshops have had predecessors, e.g., the famous Lipari Summer School in 1993, whose in?uential outcome was the f- damental Lipari Guide.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540220947
Number of pages: 240
Weight: 790 g
Dimensions: 235 x 155 x 13 mm
Edition: 2004 ed.

You may also be interested in...

Developing Information Systems
Added to basket
The Computer and the Brain
Added to basket
Developing Analytic Talent
Added to basket
Business Analysis Techniques
Added to basket
US For Beginners
Added to basket
£23.99
Paperback
NEUTRABAS
Added to basket
£49.99
Paperback
Service Design Patterns
Added to basket
X-Ways Forensics Practitioner's Guide
Added to basket
The Mythical Man-Month
Added to basket
IT Architecture For Dummies
Added to basket
Systems Analysis and Design
Added to basket
Bridging the Communication Gap
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.