Media type: Book; Thesis Title: Formal semantics for the integration of statecharts and Z in a metamodel-based framework Contributor: Geisler, Robert [Author] Published: 1999 Extent: XVII, 303 S.; graph. Darst Language: English RVK notation: ST 140 : Semantik von Programmiersprachen Keywords: Hochschulschrift Origination: University thesis: Berlin, Techn. Univ., Diss., 1999 Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2013 8 244 Item ID: 30080870 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order