Media type: Book; Thesis Title: The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models Contributor: DelCastillo, Giuseppe [Author] imprint: Paderborn: HNI, 2001 Published in: Heinz Nixdorf Institut: HNI-Verlagsschriftenreihe ; 83 Extent: IV, 212 S; graph. Darst; 25 cm Language: English ISBN: 3931466825 RVK notation: ST 620 : Technik Keywords: Hochschulschrift Origination: University thesis: Zugl.: Paderborn, Univ., Diss., 2000 Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2018 8 1059 Item ID: 30672281 Status: Loanable, place order > Ordering possible ‒ please log in