.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Abstract State Machines 2004. Advances in Theory and Practice
. Ed(S): Zimmermann, Wolf; Thalheim, B.
€ 69.16
FREE Delivery in Ireland
Description for Abstract State Machines 2004. Advances in Theory and Practice
Paperback. Editor(s): Zimmermann, Wolf; Thalheim, B. Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 790.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
252
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
240
Place of Publication
Berlin, Germany
ISBN
9783540220947
SKU
V9783540220947
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Abstract State Machines 2004. Advances in Theory and Practice