• Media type: Book
  • Title: Model-Checking zur Analyse von Message Sequence Charts über Statecharts
  • Contributor: Canver, Ercüment [Author]
  • imprint: Ulm: Univ., Fak. für Informatik, 1999
  • Published in: Ulmer Informatik-Berichte ; 99,04
  • Extent: I, 46 S.; graph. Darst
  • Language: German
  • RVK notation: SS 5525 : Ulmer Informatik-Berichte
  • Origination:
  • Footnote:

copies

(0)
  • Shelf-mark: 1999 4 029856 001
  • Item ID: 30441455
  • Status: Loanable, place order
Delivery expected: 1 - 2 days after order