• Medientyp: Buch; Hochschulschrift
  • Titel: The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models
  • Beteiligte: DelCastillo, Giuseppe [VerfasserIn]
  • Erschienen: Paderborn: HNI, 2001
  • Erschienen in: Heinz Nixdorf Institut: HNI-Verlagsschriftenreihe ; 83
  • Weitere Titel:
  • Umfang: IV, 212 S; graph. Darst; 25 cm
  • Sprache: Englisch
  • ISBN: 3931466825
  • Entstehung:
  • RVK-Notation: ST 620 : Technik
  • Schlagwörter: Hochschulschrift
  • Anmerkungen:
  • Weitere Bestandsnachweise
    0 : HNI-Verlagsschriftenreihe

Exemplare

(0)
  • Signatur: R2018 8 1059
  • Barcode: 30672281
  • Status: Ausleihbar, bitte bestellen