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
Ergebnis 15 von 16
    Datensatz exportieren als...
  • BibTeX
Three-valued specification language and its application to the automatic verification of C programs
1998
Signatur: TXU8627, P1193

Details

Autor(en) / Beteiligte
Titel
Three-valued specification language and its application to the automatic verification of C programs
Erscheinungsjahr
1998
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Paderborn, Univ.-Gesamthochsch., Diss., 1998
Sprache
Englisch
Identifikatoren
OCLC-Nummer: 1106917653, 1106917653
Titel-ID: 990007935950106463
Format
204 S.
Systemstelle
TXU

Lade weitere Informationen...