Media type: Book; Thesis Title: Open graph transformation systems : a new approach to the compositional modelling of concurrent and reactive systems Contributor: Heckel, Reiko [Author] imprint: 1998 Extent: 177 S.; graph. Darst Language: English RVK notation: ST 130 : Allgemeines ST 140 : Semantik von Programmiersprachen Keywords: Nebenläufigkeit > Produktionsregelsystem > Graphersetzungssystem > Sichtenkonzept > Formale Spezifikationstechnik > Temporale Logik Origination: University thesis: Berlin, Techn. Univ., Diss., 1998 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2000 8 006859 001 Item ID: 30081272 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order