#raffinement

4 collections 4 auteurs 4 ouvrages trié(s) par

Analyses de sûreté de fonctionnement multi-systèmes

Documents

Analyses de sûreté de fonctionnement multi-systèmes

Romain Bernard

Analyses de sûreté de fonctionnement multi-systèmes

Documents

Savoirs

Analyses de sûreté de fonctionnement multi-systèmes

Romain Bernard

168 pages

Français

Lire

Développement prouvé de structures de données sans verrou, Provably correct lockfree data structure

Documents

Développement prouvé de structures de données sans verrou, Provably correct lockfree data structure

Loïc Fejoz

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

Loïc Fejoz

127 pages

Français

Lire

Développement formel de systèmes automatisés, Formal development of automated systems

Documents

Développement formel de systèmes automatisés, Formal development of automated systems

Olfa Mosbahi-Khalgui

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

Olfa Mosbahi-Khalgui

303 pages

Français

Lire

Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems

Documents

Gestion du temps par le raffinement, Refinement Patterns for Real-Time Systems

Joris Rehm

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

Joris Rehm

124 pages

Français

Lire

Aucun résultat à afficher.

1