#raffinement
Toutes les langues
Plus lus
Documents
Développement formel de systèmes automatisés, Formal development of automated systems
Documents
Savoirs
Développement formel de systèmes automatisés, Formal development of automated systems
303 pages
Français
Lire
Infos
Documents
Analyses de sûreté de fonctionnement multi-systèmes
Documents
Développement prouvé de structures de données sans verrou, Provably correct lockfree data structure
Documents
Savoirs
Développement prouvé de structures de données sans verrou, Provably correct lockfree data structure
127 pages
Français
Lire
Infos
Documents
Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems
Documents
Savoirs
Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems
124 pages
Français
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}