Formal Methods for Dynamical Systems
| Muut tekijät: | Bernardo |
|---|---|
| Aineistotyyppi: | Elektroninen E-kirja |
| Kieli: | English |
| Julkaistu: |
Springer Berlin Heidelberg,
2013
|
| Painos: | 1 |
| Aiheet: | |
| Linkit: | Full text available on Springer Off-campus access |
Samankaltaisia teoksia
- Formal Methods in System Design
-
Integrated Formal Methods
Julkaistu: (2013) -
NASA Formal Methods
Julkaistu: (2013) -
Formal Methods for Industrial Critical Systems
Julkaistu: (2013) -
Dynamics of non-formal education /
Julkaistu: (2004)