Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ... (Lecture Notes in Computer Science, 1231) - Softcover
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1997
- ISBN 10 3540630104
- ISBN 13 9783540630104
- BindingPaperback
- Number of pages440
- EditorBertran Miquel, Rus Teodor
Buy New
Learn more about this copy
US$ 27.49
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT : 4TH INTERNATIONAL AMAST WORKSHOP ON REAL-TIM
Seller:
Rating
Book Description Condition: New. Brand New. US Edition Book. We do not ship to Military Addresses. Fast Shipping with Order Tracking. For Standard Shipping 7-8 business days & Expedite Shipping 4-6 business days, after shipping. Seller Inventory # 3540630104-RMX
Buy New
US$ 27.49
Convert currency
Stock Image
Transformation-Based Reactive Systems Development (Lecture Notes in Computer Science No. 1231)
Published by
Springer, Berlin
(1997)
ISBN 10: 3540630104
ISBN 13: 9783540630104
New
Softcover
First Edition
Quantity: 1
Seller:
Rating
Book Description Softcover. Condition: New. First Edition. Still in publisher's shrinkwrap. Seller Inventory # 2312
Buy New
US$ 18.00
Convert currency
Seller Image
Transformation-Based Reactive Systems Development (Lecture Notes in Computer Science (1231)) by Rus, Teodor, Bertran, Miquel [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540630104
Buy New
US$ 55.84
Convert currency
Stock Image
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, . (Lecture Notes in Computer Science, 1231)
Published by
Springer
(1997)
ISBN 10: 3540630104
ISBN 13: 9783540630104
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020172800
Buy New
US$ 59.75
Convert currency
Stock Image
Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software; ARTS'97; Palma; Mallorca; Spain; May 21 - 23; 1997; P
Published by
Springer
(1997)
ISBN 10: 3540630104
ISBN 13: 9783540630104
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540630104_lsuk
Buy New
US$ 65.22
Convert currency
Seller Image
Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
Published by
Springer Berlin Heidelberg
(1997)
ISBN 10: 3540630104
ISBN 13: 9783540630104
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed. Seller Inventory # 9783540630104
Buy New
US$ 65.24
Convert currency
Seller Image
Transformation-Based Reactive Systems Development
Published by
Springer Berlin Heidelberg
(1997)
ISBN 10: 3540630104
ISBN 13: 9783540630104
New
Softcover
Quantity: > 20
Seller:
Rating
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 Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS 97, held in Palma de Mallorca, Spain, in May 1997.The volume presents 24 carefully selected revi. Seller Inventory # 4896155
Buy New
US$ 53.02
Convert currency
Seller Image
Transformation-Based Reactive Systems Development
Published by
Springer Berlin Heidelberg Mai 1997
(1997)
ISBN 10: 3540630104
ISBN 13: 9783540630104
New
Taschenbuch
Quantity: 2
Seller:
Rating
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 Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed. 452 pp. Englisch. Seller Inventory # 9783540630104
Buy New
US$ 102.04
Convert currency