Formal methods applied to complex systems : implementation of the B method /
محفوظ في:
| مؤلفون آخرون: | |
|---|---|
| التنسيق: | الكتروني كتاب الكتروني |
| اللغة: | الإنجليزية |
| منشور في: |
London, England ; Hoboken, New Jersey :
iSTE : Wiley,
2014.
|
| سلاسل: | Computer engineering series.
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | An electronic book accessible through the World Wide Web; click to view |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| وصف مادي: | 1 online resource (512 pages) : illustrations, tables. |
|---|---|
| بيبلوغرافيا: | Includes bibliographical references and index. |
| ردمك: | 9781119002680 (e-book) |