High assurance systems:
Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:English
Veröffentlicht: Oxford [u.a.] Oxford Univ. Press 2001
Schlagworte:
Beschreibung:Literaturangaben. - In: The computer journal ; 44 (2001),6 : Special issue
Beschreibung:S. 472 - 587 graph. Darst.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!