Titre : | HIGH INTEGRITY SYSTEM SPECIFICATION AND DESIGN |
Auteurs : | BOWEN J P ; HINCHEZ M G |
Type de document : | ouvrage |
Editeur : | SPRINGER, 1999 |
Collection : | FACIT: FORMAL APPROACHES TO COMPUTING AND INFORMATION TECHNOLOGY |
ISBN/ISSN/EAN : | 978-3-540-76226-3 |
Index. décimale : | I11 (Sûreté de fonctionnement ) |
Catégories : |
Exemplaires (4)
Code-barres | Cote | Support | Localisation | Section | Disponibilité | Détenteur | Equipe du détenteur |
---|---|---|---|---|---|---|---|
000402 | I11 | PAPIER | Documentation | I - INFORMATIQUE | Disponible | BIBLIO | DOC |
000005 | ARLAT J | PAPIER | Equipe ou service | LIS | Contacter le détenteur Exclu du prêt | ARLAT J | LIS |
990544 | POWELL D | PAPIER | Equipe ou service | TSF | Contacter le détenteur Exclu du prêt | POWELL D | TSF |
990347 | WAESELYNCK H | PAPIER | Equipe ou service | TSF | Contacter le détenteur Exclu du prêt | WAESELYNCK H | TSF |