Stepwise development of dependable systems /

Enregistré dans:
Détails bibliographiques
OCLC:45492656
Auteur principal: Troubitsyna, Elena A.
Collectivité auteur: Åbo akademi (1918- )
Langue:English
Publié: Turku, Finland : Painosalama Oy, 2000.
Collection:TUCS dissertations, no. 29.
Sujets:
Ordinateurs > Fiabilité.
Méthodes formelles (informatique).
Calcul infinitésimal.
Logiciels > Développement.
Sécurité des systèmes.
Format:

Thèse Monograph

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

Borrow this resource

Item List

Description Local Call Number Statut
P-00001812 Disponible

Documents similaires