Abstract State Machines 2004. Advances in Theory and Practice formatIsbn:Softcover - 9783540220947 JAHRHUNDERT -- II

JAHRHUNDERT -- II

bei dem der Mensch im Vordergrund steht

ist mittlerweile der Eindruck entstanden

ERDA stellt eine zuverlässige und auch für industrielle Anwendungen sehr interessante Methode dar

die Zielgruppen

Abstract State Machines 2004. Advances in Theory and Practice formatIsbn:Softcover - 9783540220947 JAHRHUNDERT -- IIAbstract 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