Modern Formal Methods and Applications
Сохранить в:
| Главный автор: | Gabbar, Hossam A. |
|---|---|
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Dordrecht :
Springer : Springer e-books
[20..].
Cham : Springer Nature |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Modern Formal Methods and Applications |
Схожие документы
-
Smart energy grid engineering
(Livre numérique)
Gabbar, Hossam A.
Elsevier Science, 2016 -
Formal methods for industrial applications : specifying and programming the steam boiler control
(Livre numérique)
Abrial, Jean-Raymond, 1938-2025, informaticien -
Formal Methods
(Livre numérique)
Springer Nature, 2024 -
Formal Methods
(Livre numérique)
Springer Nature, 2024 - Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings (Livre numérique)

