Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
2002
Signatur: TWQ9425

Details

Autor(en) / Beteiligte
Titel
Software-Verifikation : Verfahren für den Zuverlässigkeitsnachweis von Software
Ort / Verlag
München [u.a.] : Hanser
Erscheinungsjahr
2002
Sprache
Deutsch
Identifikatoren
ISBN: 3446216243
OCLC-Nummer: 76321052, 76321052
Titel-ID: 990008468850106463
Format
XII, 366 S. : graph. Darst.
Systemstelle
TWZ, TWQ
Schlagworte
Software, Zuverlässigkeit, Verifikation

Lade weitere Informationen...