High assurance systems:
Saved in:
Bibliographic Details
Format: Book
Language:English
Published: Oxford [u.a.] Oxford Univ. Press 2001
Subjects:
Item Description:Literaturangaben. - In: The computer journal ; 44 (2001),6 : Special issue
Physical Description:S. 472 - 587 graph. Darst.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!