{"product_id":"abstract-state-machines-2004-advances-in-theory-and-practice-11th-international-workshop-asm-2004-lutherstadt-wittenberg-germany-may-24-28-2004-proceedings-von-bernhard-thalheim-wolf-zimmermann-hrsg","title":"Abstract State Machines 2004. Advances in Theory and Practice","description":"\u003cp\u003eAbstract 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540220947\"\u003e\u003ch3\u003e11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540220947","offer_id":39425820131421,"sku":"9783540220947","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/b0d0e40d-74b1-4774-aa14-d02c4041a398.jpg?v=1775967023","url":"https:\/\/shop.autorenwelt.de\/products\/abstract-state-machines-2004-advances-in-theory-and-practice-11th-international-workshop-asm-2004-lutherstadt-wittenberg-germany-may-24-28-2004-proceedings-von-bernhard-thalheim-wolf-zimmermann-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}