Abstract State Machines 2004 - Advances in Theory and Practice
Format: Paperback
ISBN13: 9783540220947
Paperback|9783540220947
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 3 offers from $45.43 FREE standard delivery by: 04 Apr 2026
Overview
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.
| ISBN-13 | 9783540220947 |
|---|---|
| ISBN-10 | 3540220941 |
| Weight | 0.90 Pounds |
| Dimensions | 6.10 x 0.57 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xii, 240 pages |
| Publisher | Springer |
| Published On | 2004-05-11 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Very Good
Seller details
GuthrieBooks
Spring Branch, TX, USA
Size: 9x5x0; Ex-library paperback in very nice condition with the usual markings and attachments. ...
Free delivery by: 04 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 240 p. Lecture Notes in Computer Science, 3052...
Free delivery by: 04 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 04 Apr 2026