0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Systems analysis & design

Buy Now

Abstract State Machines 2004. Advances in Theory and Practice - 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Paperback, 2004 ed.) Loot Price: R1,468
Discovery Miles 14 680
Abstract State Machines 2004. Advances in Theory and Practice - 11th International Workshop, ASM 2004, Lutherstadt Wittenberg,...

Abstract State Machines 2004. Advances in Theory and Practice - 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Paperback, 2004 ed.)

Wolf Zimmermann, Bernhard Thalheim

Series: Lecture Notes in Computer Science, 3052

 (sign in to rate)
Loot Price R1,468 Discovery Miles 14 680 | Repayment Terms: R138 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

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 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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 3052
Release date: May 2004
First published: 2004
Editors: Wolf Zimmermann • Bernhard Thalheim
Dimensions: 235 x 155 x 13mm (L x W x T)
Format: Paperback
Pages: 240
Edition: 2004 ed.
ISBN-13: 978-3-540-22094-7
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Promotions
LSN: 3-540-22094-1
Barcode: 9783540220947

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,284 R1,198 Discovery Miles 11 980
Systems Analysis And Design
Scott Tilley Hardcover R1,302 R1,213 Discovery Miles 12 130
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,821 Discovery Miles 18 210
Real-Time Systems Development
Rob Williams Paperback R1,319 Discovery Miles 13 190
Building Intelligent Agents - An…
Gheorghe Tecuci Paperback R2,387 Discovery Miles 23 870
Axiomatic Design - Advances and…
Nam P Suh Hardcover R5,972 Discovery Miles 59 720
Cases on Lean Thinking Applications in…
Eduardo Guilherme Satolo, Robisom Damasceno Calado Hardcover R5,991 Discovery Miles 59 910
Handbook of Research on 5G Networks and…
Augustine O Nwajana, Isibor Kennedy Ihianle Hardcover R7,962 Discovery Miles 79 620
Implementing Data Analytics and…
Chintan Bhatt, Neeraj Kumar, … Hardcover R5,931 Discovery Miles 59 310
Temporal Self-organization for Neural…
Neil Euliano Hardcover R2,084 Discovery Miles 20 840
Version Control and Management in…
Rafi Ahmed Hardcover R2,063 Discovery Miles 20 630
Advances in Non-volatile Memory and…
Yoshio Nishi, Blanka Magyari-Kope Paperback R4,593 Discovery Miles 45 930

See more

Partners