Automatic verification behavior preservation (1 Ergebnisse)

Titel:

Mit der Detailsuche verfeinern

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.
Sprache: Englisch
Verlag: Universitätsverlag Potsdam, 2017
3869563915 / 9783869563916
- Softcover
Anbieter: Antiquariat Andree Schulte, Grafschaft-Ringen, DeutschlandAntiquariat Andree Schulte
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Verbandsmitglied: GIAQ
Zustand: Gebraucht
EUR 31,50
EUR 44,00 Versand
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
120 S. -TEXT IN ENGLISH- Sprache: Englisch Gewicht in Gramm: 450 4to. Softcover, no dust jacket, very fine.