Stepwise development of dependable systems /

Bewaard in:
Bibliografische gegevens
OCLC:45492656
Hoofdauteur: Troubitsyna, Elena A.
Coauteur: Åbo akademi (1918- )
Taal:English
Gepubliceerd in: Turku, Finland : Painosalama Oy, 2000.
Reeks:TUCS dissertations, no. 29.
Onderwerpen:
Ordinateurs > Fiabilité.
Méthodes formelles (informatique).
Calcul infinitésimal.
Logiciels > Développement.
Sécurité des systèmes.
Formaat:

Thesis Monograph

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

Borrow this resource

Item List

Omschrijving Local Call Number Status
P-00001812 Beschikbaar

Gelijkaardige items