Automatic Verification Behavior Preservation (1 results)

Title:

Refine with Advanced Search

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.
Language: English
Published by Universitätsverlag Potsdam, 2017
3869563915 / 9783869563916
- Softcover
Seller: Antiquariat Andree Schulte, Grafschaft-Ringen, GermanyAntiquariat Andree Schulte
5-star seller
Contact seller
Association member: GIAQ
Condition: Used
£ 27.66
£ 37.50 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
120 S. -TEXT IN ENGLISH- Sprache: Englisch Gewicht in Gramm: 450 4to. Softcover, no dust jacket, very fine.