UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Universitätsbibliothek
Katalog
Details
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
Slicing integrated formal specifications for verification
Brückner, Ingo
2008
Signatur:
PQ430
Details
Autor(en) / Beteiligte
Brückner, Ingo
Titel
Slicing integrated formal specifications for verification
Erscheinungsjahr
2008
Link zu anderen Inhalten
Inhaltsverzeichnis
Verknüpfte Titel
Beschreibungen/Notizen
Paderborn, Univ., Diss., 2008
Sprache
Englisch
Identifikatoren
OCLC-Nummer: 1107009184, 1107009184
Titel-ID: 990009881160106463
Format
228 S. : graph. Darst.
Lade weitere Informationen...