Treffer: Using Graph Transformation Systems to Specify and Verify Data Abstractions

Titel:

Using Graph Transformation Systems to Specify and Verify Data Abstractions / Luciano Baresi ; Carlo Ghezzi ; Andrea Mocci ; Mattia Monga

Verantwortlich:

Veröffentlicht:

Berlin : Technische Universität Berlin, 2008

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Electronic Communications of the EASST- ECEASST ; 10/21

Zusatz-Informationen