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, 2589) - Softcover

9783540006244: 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, 2589)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

Seller Image

Gargantini, Angelo", "Bà ¿à ¿rger, Egon", "Riccobene, Elvinia"
Published by Springer (2003)
ISBN 10: 3540006249 ISBN 13: 9783540006244
New Soft Cover Quantity: 10
Seller:
booksXpress
(Bayonne, NJ, U.S.A.)

Book Description Soft Cover. Condition: new. Seller Inventory # 9783540006244

More information about this seller | Contact seller

Buy New
US$ 55.88
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

Published by Springer (2003)
ISBN 10: 3540006249 ISBN 13: 9783540006244
New Softcover Quantity: > 20
Seller:
Lucky's Textbooks
(Dallas, TX, U.S.A.)

Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020155436

More information about this seller | Contact seller

Buy New
US$ 59.75
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds
Stock Image

Egon BÃ rger
Published by Springer (2003)
ISBN 10: 3540006249 ISBN 13: 9783540006244
New Softcover Quantity: > 20
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)

Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540006244_lsuk

More information about this seller | Contact seller

Buy New
US$ 64.00
Convert currency

Add to Basket

Shipping: US$ 12.35
From United Kingdom to U.S.A.
Destination, rates & speeds
Seller Image

Egon Börger
ISBN 10: 3540006249 ISBN 13: 9783540006244
New Taschenbuch Quantity: 2
Print on Demand
Seller:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Germany)

Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 448 pp. Englisch. Seller Inventory # 9783540006244

More information about this seller | Contact seller

Buy New
US$ 58.72
Convert currency

Add to Basket

Shipping: US$ 24.51
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

Egon Börger
Published by Springer Berlin Heidelberg (2003)
ISBN 10: 3540006249 ISBN 13: 9783540006244
New Taschenbuch Quantity: 1
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)

Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540006244

More information about this seller | Contact seller

Buy New
US$ 63.78
Convert currency

Add to Basket

Shipping: US$ 35.16
From Germany to U.S.A.
Destination, rates & speeds
Seller Image

Börger, Egon|Gargantini, Angelo|Riccobene, Elvinia
Published by Springer Berlin Heidelberg (2003)
ISBN 10: 3540006249 ISBN 13: 9783540006244
New Softcover Quantity: > 20
Print on Demand
Seller:
moluna
(Greven, Germany)

Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 4877244

More information about this seller | Contact seller

Buy New
US$ 53.10
Convert currency

Add to Basket

Shipping: US$ 52.22
From Germany to U.S.A.
Destination, rates & speeds
Stock Image

Borger, Egon
Published by Springer 2003-02 (2003)
ISBN 10: 3540006249 ISBN 13: 9783540006244
New PF Quantity: 10
Seller:
Chiron Media
(Wallingford, United Kingdom)

Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540006244

More information about this seller | Contact seller

Buy New
US$ 105.30
Convert currency

Add to Basket

Shipping: US$ 18.55
From United Kingdom to U.S.A.
Destination, rates & speeds