Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1997
ISBN 10: 3540630104 ISBN 13: 9783540630104
Seller: Ammareal, Morangis, France
£ 4.27
Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations.
Seller: B-Line Books, Amherst, NS, Canada
First Edition
Softcover. Condition: New. First Edition. Still in publisher's shrinkwrap.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Condition: As New. Unread book in perfect condition.
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.
Taschenbuch. Condition: Neu. 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 | Miquel Bertran (u. a.) | Taschenbuch | xi | Englisch | 1997 | Springer | EAN 9783540630104 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1997, 1997
ISBN 10: 3540630104 ISBN 13: 9783540630104
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
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.
Language: English
Published by Springer Berlin Heidelberg, 1997
ISBN 10: 3540630104 ISBN 13: 9783540630104
Seller: moluna, Greven, Germany
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.
Language: English
Published by Springer, Springer Mai 1997, 1997
ISBN 10: 3540630104 ISBN 13: 9783540630104
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 452 pp. Englisch.