JAS-95 Lite - modelling and formal analysis of dynamic properties
- Författare
- Simin Nadjm-Tehrani
- (Simin Nadjm-Tehrani, Jan-Erik Strömberg.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
1996 | Sverige, Linköping | 70 sidor. | ||
Univ. | 1993 | Sverige, Linköping | [7] sidor. ill., diagr. |