Software and systems safety specification and verification

Software and systems safety specification and verification

Weitere Versionen anzeigen (4)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification <2010, Marktoberdorf, Germany> (VerfasserIn)
Weitere Verfasser: Broy, M. 1949- (HerausgeberIn), Leuxner, Christian (HerausgeberIn), Hoare, C. A. R. 1934- (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Amsterdam IOS Press 2011
Schriftenreihe:NATO science for peace and security series v. 30
Schlagworte:
COMPUTERS / Programming / Open Source
COMPUTERS / Software Development & Engineering / General
COMPUTERS / Software Development & Engineering / Tools
Computer security
Computer software / Verification
Software engineering
Computer software > Verification > Congresses > Software engineering > Congresses > Computer security > Congresses
Computersicherheit
Sicherheitskritisches System
Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Ähnliche Einträge