Treatment in progress...
Close notification

SIDE wishes you a successful 2026. We shall do our utmost to help you make it so.

Display notification

Méthodes formelles pour les systèmes répartis et coopératifs

HADDAD Serge, KORDON Fabrice, PETRUCCI Laure
Publication date 21/09/2006
EAN: 9782746214477
Availability Available from publisher
Attribute nameAttribute value
Common books attribute
PublisherHERMES SCIENCE
Page Count-
Languagefr
AuthorHADDAD Serge, KORDON Fabrice, PETRUCCI Laure
FormatBook
Product typeBook
Publication date21/09/2006
Weight800 g
Dimensions (thickness x width x height)1.60 x 15.40 x 23.60 cm