pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: ABSTRACT STATE MACHINES 2004. ADVANCES IN THEORY AND PRACTICE
11TH INTERNATIONAL WORKSHOP, ASM 2004, LUTHERSTADT WITTENBERG, GERMANY, MAY 24-28, 2004, PROCEEDINGS
Volume: 2004
By: Wolf Zimmermann (Editor), B. Thalheim (Editor)
Format: Paperback

List price: £58.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3540220941
ISBN 13: 9783540220947
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 11 May, 2004
Edition: 2004 ed.
Series: Lecture Notes in Computer Science v.3052
Pages: 252
Synopsis: 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.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
ADVANCES IN DATABASES AND INFORMATION SYSTEMS (PB)
ADVANCES IN DATABASES AND INFORMATION SYSTEMS (PB)
ADVANCES IN DATABASES AND INFORMATION SYSTEMS (PB)
AUTOMATISCHE KOMPLEXITEATSANALYSE FUNKTIONALER PROGRAMME
CONCEPTUAL MODELING (PB)
CONCEPTUAL MODELING - ER '96 (PB)
CONCEPTUAL MODELING - ER 2007 (PB)
CONCEPTUAL MODELING FOR E-BUSINESS AND THE WEB (PB)
CORRECT SOFTWARE IN WEB APPLICATIONS AND WEB SERVICES (HB)
CORRECT SOFTWARE IN WEB APPLICATIONS AND WEB SERVICES (PB)
CURRENT ISSUES IN DATABASES AND INFORMATION SYSTEMS (PB)
DEPENDENCIES IN RELATIONAL DATABASES
DEPENDENCIES IN RELATIONAL DATABASES (HB)
DESIGN AND DEVELOPMENT OF WEB INFORMATION SYSTEMS (HB)
ENTITY-RELATIONSHIP APPROACH - ER'93 (PB)
ENTITY-RELATIONSHIP MODELING (HB)
ENTITY-RELATIONSHIP MODELING (PB)
FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (PB)
HANDBOOK OF CONCEPTUAL MODELING (HB)
HANDBOOK OF CONCEPTUAL MODELING (PB)
INFORMATION MODELLING & KNOWLEDGE BASES (HB)
INFORMATION MODELLING AND KNOWLEDGE BASI (PB)
KONZEPTE HOHERER PROGRAMMIERSPRACHEN
KONZEPTE HOHERER PROGRAMMIERSPRACHEN
MFDBS 89 (PB)
MFDBS 91 (PB)
MODELLING DATABASE DYNAMICS (PB)
NEW TRENDS IN DATABASES AND INFORMATION SYSTEMS (PB)
SEMANTICS IN DATA AND KNOWLEDGE BASES (PB)
SEMANTICS IN DATA AND KNOWLEDGE BASES (PB)
SEMANTICS IN DATA AND KNOWLEDGE BASES (PB)
SEMANTICS IN DATABASES (PB)
SERVICE-ORIENTED AND CLOUD COMPUTING (PB)
UNDERSTANDING MODELLING AND PROGRAMMING
VORLESUNGEN UBER INFORMATIK (PB)
VORLESUNGEN UBER INFORMATIK (PB)
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2008 (PB)
WISSENSCHAFT UND KUNST DER MODELLIERUNG
WISSENSCHAFT UND KUNST DER MODELLIERUNG

TOP SELLERS IN THIS CATEGORY
The Mythical Man-month (Paperback)
Pearson Education (US)
Our Price : £29.74
more details
DAMA-DMBOK (Paperback)
Technics Publications LLC
Our Price : £71.99
more details
The Definitive Guide to ARM (R) Cortex (R)-M0 and Cortex-M0+ Processors (Paperback)
Elsevier Science & Technology
Our Price : £45.89
more details
Site Reliability Engineering (Paperback)
O'Reilly Media, Inc, USA
Our Price : £35.03
more details
The Cucumber Book (Paperback)
Pragmatic Bookshelf
Our Price : £23.35
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing
 systems analysis & design


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket