Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation. (= Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam; Nr. 112).

Dyck, Johannes, Giese, Holger and Lambers, Leen.

ISBN 10: 3869563915 ISBN 13: 9783869563916
Published by Universitätsverlag Potsdam, 2017
Language: English
Condition: Used Soft cover

Sold by Antiquariat Andree Schulte, Grafschaft-Ringen, Germany

Association Member:

AbeBooks Seller since 23 May 2001

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Soft cover

Price: £ 28.35 Convert Currency
£ 21.84 shipping from Germany to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket