Stepwise development of dependable systems /

Gorde:
Xehetasun bibliografikoak
OCLC:45492656
Egile nagusia: Troubitsyna, Elena A.
Erakunde egilea: Åbo akademi (1918- )
Hizkuntza:English
Argitaratua: Turku, Finland : Painosalama Oy, 2000.
Saila:TUCS dissertations, no. 29.
Gaiak:
Ordinateurs > Fiabilité.
Méthodes formelles (informatique).
Calcul infinitésimal.
Logiciels > Développement.
Sécurité des systèmes.
Formatua:

Thesis Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Deskribapena Local Call Number Egoera
P-00001812 Eskuragarri

Antzeko izenburuak