Abstract State Machines 2004. Advances in Theory and Practice
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
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 compon…
Mehr
CHF 93.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Zimmermann, Wolf (Hrsg.)
- ISBN: 978-3-540-22094-7
- EAN: 9783540220947
- Produktnummer: 8650072
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2004
- Seitenangabe: 252 S.
- Masse: H23.5 cm x B15.5 cm x D1.3 cm 388 g
- Auflage: 2004
- Abbildungen: Paperback
- Gewicht: 388
60 weitere Werke von Bernhard (Hrsg.) Thalheim:
Bewertungen
Anmelden