Tillförlitlighet och formella metoder vid programutveckling - reliability and formal methods in software engineering
- Författare
- Dan Koskenniemi
- (Dan Koskenniemi, Mats Åström)
- Språk
- Svenska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1998 | Sverige, Luleå | 24 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1998 | Sverige, Luleå | 24 sidor. |