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...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
Zur Verifikation paralleler Prozesse in Ada
1991
Signatur: D5735

Details

Autor(en) / Beteiligte
Titel
Zur Verifikation paralleler Prozesse in Ada
Erscheinungsjahr
1991
Beschreibungen/Notizen
  • Braunschweig, Techn. Univ., Diss., 1990
Sprache
–
Identifikatoren
OCLC-Nummer: 1070282871, 1070282871
Titel-ID: 990005757350106463
Format
III, 154 S.
Systemstelle
TWT

Lade weitere Informationen...