Abstract State Machines 2004. Advances in Theory and Practice
Subtitle: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)
Contributors: Wolf Zimmermann (Editor); Bernhard Thalheim (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2004
Language: eng
Format: Paperback
Number of pages: 235
ISBN-13: 9783540220947
Subjects: Systems analysis & design; Logic Design; Computers; Computers - General Information; Computer Books: General; Programming Languages - General; Computer Science; Logic; Computers / Logic Design; Abstracte machines.; Automates mathâematiques, Thâeorie des; Congresses; Congráes; Machine theory; gtt
First sentence: According to the Lipari guide [9], an abstract state machine interacts with the environment by means of external functions.