Tools and Algorithms for the Construction and Analysis of Systems
| Drugi avtorji: | |
|---|---|
| Format: | Elektronski eKnjiga |
| Jezik: | English |
| Izdano: |
Springer Berlin Heidelberg,
2013
|
| Izdaja: | 1 |
| Teme: | |
| Online dostop: | Full text available on Springer Off-campus access |