Stepwise development of dependable systems /

Salvato in:
Dettagli Bibliografici
OCLC:45492656
Autore principale: Troubitsyna, Elena A.
Ente Autore: Åbo akademi (1918- )
Lingua:English
Pubblicazione: Turku, Finland : Painosalama Oy, 2000.
Serie:TUCS dissertations, no. 29.
Soggetti:
Ordinateurs > Fiabilité.
Méthodes formelles (informatique).
Calcul infinitésimal.
Logiciels > Développement.
Sécurité des systèmes.
Natura:

Tesi Monograph

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

Borrow this resource

Item List

Descrizione Local Call Number Status
P-00001812 Disponibile

Documenti analoghi