كتاب
Approches formelles des systèmes embarqués communicants
| العنوان: | Approches formelles des systèmes embarqués communicants |
|---|---|
| المؤلفون: | David, Alexandre, Behrmann, Gerd, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum, BÉRARD, Béatrice, GIRARD, Antoine, HADDAD, Serge, CASSEZ, Franck, JARD, Claude, DANG, Thao, LE GERNIC, Colas, DONATELLI, Susanna, LIME, Didier, ELLOY, Jean-Pierre, MAGNIN, Morgan, FREHSE, Goran, MARKEY, Nicolas, PETTERSSON, Paul, TRIPAKIS, Stavros, Yi, Wang, H. ROUX, Olivier |
| المصدر: | David , A , Behrmann , G , Larsen , K G , Rasmussen , J I , BÉRARD , B , GIRARD , A , HADDAD , S , CASSEZ , F , JARD , C , DANG , T , LE GERNIC , C , DONATELLI , S , LIME , D , ELLOY , J-P , MAGNIN , M , FREHSE , G , MARKEY , N , PETTERSSON , P , TRIPAKIS , S , Yi , W & H. ROUX , O 2008 , Approches formelles des systèmes embarqués communicants . Hermés Science Publications .... |
| بيانات النشر: | Hermés Science Publications |
| سنة النشر: | 2008 |
| المجموعة: | Aalborg University (AAU): Publications / Aalborg Universitet: Publikationer |
| نوع الوثيقة: | book |
| اللغة: | French |
| ردمك: | 978-2-7462-1942-7 2-7462-1942-5 |
| العلاقة: | https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967bTest; urn:ISBN:978-2-7462-1942-7 |
| الإتاحة: | https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967bTest |
| حقوق: | info:eu-repo/semantics/restrictedAccess |
| رقم الانضمام: | edsbas.2FCC5FE4 |
| قاعدة البيانات: | BASE |
| ردمك: | 9782746219427 2746219425 |
|---|