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 by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1997)

All listings for this product