Formal Methods for Dynamical Systems
| Diğer Yazarlar: | Bernardo |
|---|---|
| Materyal Türü: | Elektronik Ekitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Springer Berlin Heidelberg,
2013
|
| Edisyon: | 1 |
| Konular: | |
| Online Erişim: | Full text available on Springer Off-campus access |
Benzer Materyaller
- Formal Methods in System Design
-
Integrated Formal Methods
Baskı/Yayın Bilgisi: (2013) -
NASA Formal Methods
Baskı/Yayın Bilgisi: (2013) -
Dynamics of non-formal education /
Baskı/Yayın Bilgisi: (2004) -
Formal Methods for Industrial Critical Systems
Baskı/Yayın Bilgisi: (2013)