Media type: Book; Thesis Title: Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL Contributor: Hinkel, Ursula [Author] imprint: 1998 Extent: IV, 175 S. Language: German RVK notation: ST 250 : Einzelne Programmiersprachen (A-Z) Keywords: SDL > Formale Semantik Origination: University thesis: München, Techn. Univ., Diss., 1998 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1999 8 028867 001 Item ID: 30080869 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order