Abstract State Machines 2003: Advances in Theory and Practice :10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings - Lecture Notes in Computer Science

Abstract State Machines 2003: Advances in Theory and Practice

Abstract State Machines 2003: Advances in Theory and Practice :10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings - Lecture Notes in Computer Science

(Author) (Author) (Author)
paperback
Published: 21 February, 2003
Standard worldwide delivery by Mon, July 20 - Wed, July 29
Order within 0
Condition: NEW
$61.33
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Egon Borger

View All Books by Egon Borger
Modeling Companion for Software Practitioners
Modeling Companion for Software Practitioners
Egon Borger
$85.99
New
Add to basket
The Classical Decision Problem
The Classical Decision Problem
Egon Borger
$221.50
New
Add to basket
Abstract State Machines
Abstract State Machines
Egon Borger
$70.92
New
Add to basket
Java and the Java Virtual Machine
Java and the Java Virtual Machine
Egon Borger
$71.48
New
Add to basket
Java and the Java Virtual Machine
Java and the Java Virtual Machine
Egon Borger
$70.48
New
Add to basket
Subject-Oriented Business Process Management
Subject-Oriented Business Process Management
Egon Borger
$76.75
New
Add to basket
Computer Science Logic
Computer Science Logic
Egon Borger
$61.19
New
Add to basket
Formal Methods for Industrial Applications
Formal Methods for Industrial Applications
Egon Borger
$128.64
New
Add to basket
Computer Science Logic
Computer Science Logic
Egon Borger
$61.21
New
Add to basket
Architecture Design and Validation Methods
Architecture Design and Validation Methods
Egon Borger
$70.67
New
Add to basket

Description

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.

The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.

See more

More Details

Type Book
ISBN13 9783540006244
ISBN10 3540006249
Number Of Pages 436
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 2003 ed.
See More +