Overview of formal methods in software engineering
- Författare
- Ioana Rodhe
- (Iona Rodhe, Martin Karresand.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Totalförsvarets forskningsinstitut (FOI | 2015 | Sverige, Stockholm | 49 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Totalförsvarets forskningsinstitut (FOI | 2015 | Sverige, Stockholm | 49 sidor. |