Thumbnail - Request a copy

Panorama de la vérification

Haddad, Serge (2006), Panorama de la vérification, in Haddad, Serge; Kordon, Fabrice; Petrucci, Laure, Méthodes formelles pour les systèmes répartis et coopératifs, Hermes/Lavoisier : Paris, p. 121-138

Type
Chapitre d'ouvrage
Date
2006
Book title
Méthodes formelles pour les systèmes répartis et coopératifs
Book author
Haddad, Serge; Kordon, Fabrice; Petrucci, Laure
Publisher
Hermes/Lavoisier
Published in
Paris
ISBN
2-7462-1447-4
Number of pages
347
Pages
121-138
Metadata
Show full item record
Author(s)
Haddad, Serge
Subjects / Keywords
Systèmes répartis et coopératifs